{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:26:54Z","timestamp":1726414014275},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,9]],"date-time":"2008-08-09T00:00:00Z","timestamp":1218240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s11334-008-0054-3","type":"journal-article","created":{"date-parts":[[2008,8,8]],"date-time":"2008-08-08T05:45:13Z","timestamp":1218174313000},"page":"233-240","source":"Crossref","is-referenced-by-count":2,"title":["Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets"],"prefix":"10.1007","volume":"4","author":[{"given":"Kristian Bisgaard","family":"Lassen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Tjell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,8,9]]},"reference":[{"unstructured":"CPN Tools. http:\/\/www.daimi.au.dk\/CPNtools","key":"54_CR1"},{"doi-asserted-by":"crossref","unstructured":"Fitzgerald JS, Tjell S, Larsen PG, Verhoef M (2007) Validation support for distributed real-time embedded systems in VDM++. In: Proceedings of HASE. IEEE Computer Society, USA","key":"54_CR2","DOI":"10.1109\/HASE.2007.26"},{"unstructured":"Holzmann GJ using SPIN. http:\/\/plan9.bell-labs.com\/sys\/doc\/spin.pdf","key":"54_CR3"},{"issue":"5","key":"54_CR4","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann GJ (1997) The model checker SPIN. IEEE Trans Softw Eng 23(5): 279\u2013295","journal-title":"IEEE Trans Softw Eng"},{"unstructured":"Jackson M (2001) Problem frames\u2014analyzing and structuring software development problems. Addison-Wesley, Reading","key":"54_CR5"},{"issue":"1","key":"54_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-002-0005-7","volume":"1","author":"M Jackson","year":"2002","unstructured":"Jackson M (2002) Some basic tenets of description. Softw Syst Model 1(1): 5\u20139","journal-title":"Softw Syst Model"},{"issue":"3\u20134","key":"54_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen K, Kristensen LM, Wells L (2007) Coloured petri nets and CPN tools for modelling and validation of concurrent systems. STTT 9(3\u20134): 213\u2013254","journal-title":"STTT"},{"unstructured":"Lassen KB, Tjell S (2008) Developing tool support for problem diagrams with CPN and VDM++. In: Proceedings of OVERTURE 2008. Newcastle University","key":"54_CR8"},{"key":"54_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The definition of standard ML","author":"R Milner","year":"1997","unstructured":"Milner R, Tofte M, Harper R, MacQueen D (1997) The definition of standard ML. MIT Press, Cambridge"},{"unstructured":"Performance Standards for a Bridge Navigational Watch Alarm System (BNWAS) (2002) Resolution MSC 128(75). http:\/\/www.imo.org\/includes\/blastData.asp\/doc_id=6850\/128(75).pdf","key":"54_CR10"},{"doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of FOCS 1977. IEEE Computer Society","key":"54_CR11","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0054-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0054-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0054-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:44Z","timestamp":1559382464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0054-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["54"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0054-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2008,8,9]]}}}