{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T09:58:38Z","timestamp":1648979918665},"reference-count":20,"publisher":"Informa UK Limited","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1080\/00207729708929466","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T10:55:54Z","timestamp":1183805754000},"page":"1025-1043","source":"Crossref","is-referenced-by-count":0,"title":["A framework for modelling dependable real-time distributed systems"],"prefix":"10.1080","volume":"28","author":[{"given":"YEONG-JIA","family":"CHEN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DANIEL","family":"MOSS\u00c9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SHI-KUO","family":"CHANG","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1109\/24.55880"},{"key":"CIT0003","volume-title":"A framework for modeling and prototyping realtime dependable systems","author":"CHEN Y. J.","year":"1991"},{"key":"CIT0004","volume-title":"Proceedings of the 4th Internatinal Conference on Software Engineering and Knowledge Engineering","author":"DENG Y.","year":"1992"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-56863-8_48","volume-title":"Application and Theory of Petri Nets 1993","volume":"691","author":"DENG Y.","year":"1993"},{"key":"CIT0006","volume-title":"Proceedings of the 12th International Conference on the Application and Theory of Petri Nets, 1991","author":"DIDIER B.","year":"1991"},{"key":"CIT0007","volume-title":"5th International Workshop on Software Specifications and Design","author":"GHEZZI C.","year":"1989"},{"key":"CIT0008","volume-title":"Advances in Petri Nets 1990","volume":"483","author":"JENSEN K.","year":"1990"},{"key":"CIT0009","volume-title":"Design and Analysis of Fault Tolerant Digital Systems","author":"JOHNSON B. W.","year":"1989"},{"key":"CIT0010","volume-title":"15th International Symposium on Fault-tolerant Computng Systems","author":"LAPRIE J. C.","year":"1985"},{"key":"CIT0011","volume-title":"Euromicro 90, Sixteenth Symposium on Microprocessing and Microprogramming","author":"MALEK M.","year":"1990"},{"key":"CIT0012","volume-title":"Proceedings of the EUROMICRO \u201990 Workshop on Real Time, 1990","author":"MARCO B.","year":"1990"},{"key":"CIT0013","volume-title":"International Workshop on Petri Nets and Performance Models","author":"MARINESCU D.","year":"1987"},{"key":"CIT0014","volume-title":"3rd International Workshop on Protocol Specification, Testing and Verification","author":"MECASCHE M.","year":"1983"},{"key":"CIT0015","doi-asserted-by":"crossref","DOI":"10.21236\/ADA266639","volume-title":"Processor capacity reserves for multimedia operating systems","author":"MERCER C. W.","year":"1993"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"000","DOI":"10.1109\/TCOM.1979.1094284","volume":"27","author":"MERLIN P. M.","year":"1979","journal-title":"IEEE Transactions on Communications"},{"key":"CIT0017","volume-title":"20th IFAC\/IFIP Workshop on Real-Time Programming","author":"MOSS\u00c9 D.","year":"1995"},{"key":"CIT0018","author":"PERKUSICH A.","year":"1993","journal-title":"Journal of Systems and Software"},{"key":"CIT0019","volume-title":"Analysis of asynchronous concurrent system by petri nets","author":"RAMCHANDANI C.","year":"1974"},{"key":"CIT0020","volume-title":"International Workship on Timed Petri Nets","author":"ZENIE A.","year":"1985"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207729708929466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T08:59:23Z","timestamp":1556614763000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207729708929466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":20,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["10.1080\/00207729708929466"],"URL":"https:\/\/doi.org\/10.1080\/00207729708929466","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"value":"0020-7721","type":"print"},{"value":"1464-5319","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}