{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:56:32Z","timestamp":1725656192002},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642275487"},{"type":"electronic","value":"9783642275494"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27549-4_72","type":"book-chapter","created":{"date-parts":[[2012,2,1]],"date-time":"2012-02-01T01:53:22Z","timestamp":1328061202000},"page":"559-567","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Approach to Modechart Verification of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Gach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"72_CR1","unstructured":"Turtle, \n                    \n                      http:\/\/labsoc.comelec.enst.fr\/TURTLE"},{"key":"72_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/0471224626","volume-title":"Real-Time Systems: Scheduling, Analysis, and Verification","author":"A.M.K. Cheng","year":"2002","unstructured":"Cheng, A.M.K.: Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, Inc., Chichester (2002)"},{"issue":"3","key":"72_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program.\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"72_CR4","first-page":"479","volume-title":"Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track","author":"F. Jahanian","year":"1988","unstructured":"Jahanian, F., Lee, R., Mok, A.K.: Semantics of modechart in real time logic. In: Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track, pp. 479\u2013489. IEEE Computer Society Press, Los Alamitos, CA, USA (1988)"},{"issue":"9","key":"72_CR5","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian, F., Mok, A.K.: Safety analysis of timing properties in real-time systems. IEEE Trans. Softw. Eng.\u00a012(9), 890\u2013904 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"72_CR6","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.K.: Modechart: A specification language for real-time systems. IEEE Trans. Softw. Eng.\u00a020(12), 933\u2013947 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"72_CR7","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"36","author":"F. Jahanian","year":"1987","unstructured":"Jahanian, F., Mok, A.K.-L.: A graph-theoretic approach for timing analysis and its implementation. IEEE Trans. Comput.\u00a036(8), 961\u2013975 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"72_CR8","unstructured":"Jahanian, F., Stuart, D.A.: A method for verifying properties of modechart specifications. In: Proceedings of the Real-Time Systems Symposium, pp. 12\u201321 (1988)"},{"key":"72_CR9","unstructured":"Puchol, C.: A solution to the generalized railroad crossing problem in esterel. Technical report, Austin, TX, USA (1995)"},{"key":"72_CR10","unstructured":"Puchol, C.: An operational semantics and a compiler for modechart specifications. Technical report (1996)"},{"key":"72_CR11","doi-asserted-by":"crossref","unstructured":"Stuart, D.A.: Implementing a verifier for real-time systems. In: Proc. of IEEE Real-Time Systems Symposium, pp. 62\u201371 (1990)","DOI":"10.1109\/REAL.1990.128730"},{"key":"72_CR12","unstructured":"Stuart, D.A., Jahanian, F.: A formal method for verifying real-time properties of modechart specifications. In: In Proceedings of the 9th RTS Symposium (1994)"},{"key":"72_CR13","first-page":"116","volume-title":"Proc. of RTAS 1995","author":"J. Yang","year":"1995","unstructured":"Yang, J., Mok, A.K., Stuart, D.: A new generation modechart verifier. In: Proc. of RTAS 1995, p. 116. IEEE Computer Society, Washington, DC, USA (1995)"},{"issue":"2","key":"72_CR14","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/244795.244803","volume":"19","author":"J. Yang","year":"1997","unstructured":"Yang, J., Mok, A.K., Wang, F.: Symbolic model checking for event-driven real-time systems. ACM Trans. Program. Lang. Syst.\u00a019(2), 386\u2013412 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27549-4_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T04:45:28Z","timestamp":1556253928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27549-4_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642275487","9783642275494"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27549-4_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}