{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:28:32Z","timestamp":1761323312984,"version":"3.30.2"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf00360339","type":"journal-article","created":{"date-parts":[[2004,10,19]],"date-time":"2004-10-19T08:51:20Z","timestamp":1098175880000},"page":"143-178","source":"Crossref","is-referenced-by-count":12,"title":["Specification and verification of reactive system behaviour: The Railroad Crossing example"],"prefix":"10.1007","volume":"10","author":[{"given":"James","family":"Armstrong","sequence":"first","affiliation":[]},{"given":"Leonor","family":"Barroca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","series-title":"DCSC\/TR\/92\/7","volume-title":"An approach to architectural specification?the representation of behaviour and functionality","author":"L. Barroca","year":"1992","unstructured":"BarrocaL. 1992. An approach to architectural specification?the representation of behaviour and functionality, DCSC\/TR\/92\/7. Dependable Computer Systems Centre, Universities of York and Newcastel-upon-Tyne, U.K."},{"key":"CR2","unstructured":"Barroca, L. & J. McDermid 1993. Specification of real-time systems?a view-oriented approach. In Proceedings of XIII Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o, XX SEMISH, Semin\u00e1rio Integrado de Software e Hardware, Florian\u00f3polis, Brasil, Sociedade Brasileira de Computa\u00e7\u00e3o."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Clements, P., C. Gasarch & R. Jeffords 1992. Evaluation criteria for real-time specifcation languages, Rpt. 6935. Naval Research Laboratories.","DOI":"10.21236\/ADA246612"},{"key":"CR4","series-title":"DCSC\/TR\/93\/3","volume-title":"The feasibility of providing semantics for DCSC architectural specification techniques","author":"J. S. Fitzgerald","year":"1993","unstructured":"FitzgeraldJ. S. & L.Barroca 1993. The feasibility of providing semantics for DCSC architectural specification techniques, DCSC\/TR\/93\/3. Dependable. Computer Systems Centre, Universities of York and Newcastleupon-Tyne, U.K."},{"key":"CR5","unstructured":"Heitmeyer, C., R. Jeffords & B. Labaw 1993. Benchmark for comparing different approaches to specifying and verifying real-time systems. In IEEE Workshop on Real-Time Operating Systems and Software, IEEE."},{"key":"CR6","unstructured":"ICL 1992. Proofpower user documention: Reference, DS\/FMU\/IED\/USR006, issue 1.9. FST Group, ICL Computers LTD."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Jahanian, F., R. Lee & A. K. Mok 1988. Semantics of Modechart in Real Time Logic. In Proceedings 21st Annual Hawai International Conference on System Science, 479?489.","DOI":"10.1109\/HICSS.1988.11840"},{"issue":"9","key":"CR8","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"JahanianF. & A. K.Mok 1986. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE- 12 (9), 890?903.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR9","volume-title":"Formal specification of real-time systems, Tr-88-25","author":"F. Jahanian","year":"1988","unstructured":"JahanianF., A. K.Mok & D.Stuart 1988. Formal specification of real-time systems, Tr-88-25. Dept. of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712."},{"key":"CR10","unstructured":"Jahanian, F. & D. Stuart 1988. A method for verifying properties of Modechart specifications. In Proc 9th Real Time Systems Symposium, 12?21."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Kesten, Y. & A. Pnueli 1991. Timed and hybrid statecharts and their textual representation. In Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 571 Vytopil, J. (ed.), 591?620. Springer Verlag.","DOI":"10.1007\/3-540-55092-5_32"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Maler, O., Z. Manna & A. Pnueli 1992. From timed to hybrid systems. presented at the School on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, The Netherlands.","DOI":"10.1007\/BFb0032003"},{"key":"CR13","volume-title":"Modechart Toolset User's Guide","author":"A. Rose","year":"1993","unstructured":"RoseA., M.P\u00e9rez & P.Clements 1993. Modechart Toolset User's Guide. Human Computer Interaction Laboratory, U.S. Naval Research Laboratory, Washington, DC 20375-5320, draft edition."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00360339.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00360339\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00360339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T01:40:12Z","timestamp":1734572412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00360339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF00360339"],"URL":"https:\/\/doi.org\/10.1007\/bf00360339","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}