{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:07:56Z","timestamp":1725484076385},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411864"},{"type":"electronic","value":"9783540408918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40891-6_4","type":"book-chapter","created":{"date-parts":[[2007,5,27]],"date-time":"2007-05-27T00:01:38Z","timestamp":1180224098000},"page":"37-52","source":"Crossref","is-referenced-by-count":6,"title":["Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs"],"prefix":"10.1007","author":[{"given":"Jan","family":"van Katwijk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Toetenel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abd-El-Kader","family":"Sahraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janusz","family":"Zalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"26","author":"R. Alur","year":"1994","unstructured":"Alur R., D. Dill. The Theory of Timed Automata. Theoretical Computer Science, Vol. 26, pp. 183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Ammerlaan M., R. Lutje-Spelberg, W. J. Toetenel. XTG \u2014 An Engineering Approach to Modelling and Analysis of Real-Time Systems. Proc. 10th Euromicro Workshop on Real-Time Systems, pp. 88\u201397. IEEE Computer Society Press, 1998.","DOI":"10.1109\/EMWRTS.1998.685072"},{"key":"4_CR3","unstructured":"Anderson E., J. van Katwijk, J. Zalewski, New Method of Improving Software Safety in Mission-Critical Real-Time Systems, Proc. 17th Int\u2019l System Safety Conf., System Safety Society, Unionville, VA, 1999, pp. 587\u2013596"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Beaufreton M., SACRES: A Step Forward in the Development of Critical Avionics Systems, Proc. HSCC\u201999, 2nd Int\u2019l Workshop on Hybrid Systems Computation and Control. Springer-Verlag, Berlin, 1999.","DOI":"10.1007\/3-540-48983-5_1"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Brink K., J. van Katwijk, H. Toetenel, J. Zalewski, H-Astral and Its Use in the Development of Real-Time Control Systems, Proc. 24th IFAC\/IFIP Workshop on Real-Time Programming, pp. 123\u2013128, Pergamon, Oxford, 1999","DOI":"10.1016\/S1474-6670(17)39984-6"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke E. M., E. A. Emerson, A. P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. AC MTOPLAS, Vol. 8, No. 2, pp. 244\u2013263, 1986.","journal-title":"AC MTOPLAS"},{"key":"4_CR7","unstructured":"de Rooij R. C. M., J. van Katwijk ACL Language Definition. Technical Report, Faculty of Information Technology and Systems, Delft University of Technology (to appear)"},{"key":"4_CR8","volume-title":"Modeling Reactive Systems with Statecharts: The Statemate Approach","author":"D. Harel","year":"1998","unstructured":"Harel D., M. Politi, Modeling Reactive Systems with Statecharts: The Statemate Approach, John Wiley and Sons, New York, 1998."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. A. Henzinger","year":"1994","unstructured":"Henzinger T. A., X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, Vol. 111, pp. 193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"4_CR10","unstructured":"van Katwijk J., J. Zalewski, Merging Formal Specifications and Engineering Practice in Real-Time Systems Design, Proc. 3rd Biennial World Conf on Integrated Design and Process Technology, Vol. 6, pp. 57\u201364, Society for Design and Process Science, Austin, Texas, 1998"},{"key":"4_CR11","unstructured":"Kornecki A., B. Nasah, J. Zalewski, TCAS Safety Analysis Using Timed Environment-Relationship Petri Nets, Proc. 9th Int\u2019l Symposium on Software Reliability Engineering, Fast Abstracts and Industrial Processes, IEEE Computer Society, 1998, pp. 161\u2013170"},{"key":"4_CR12","first-page":"1057","volume-title":"Automated Verificataion of Communication Protocols Using CCS and BDDs","author":"R. Lichtenecker","year":"1998","unstructured":"Lichtenecker R., K. Gotthardt, J. Zalewski, Automated Verificataion of Communication Protocols Using CCS and BDDs, pp. 1057\u20131066, Parallel and Distributed Processing, J. Rolim (Ed.), Springer-Verlag, Berlin, 1998"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Lygeros J., D. N. Godbole, S. Sastry, Verified Hybrid Controllers for Automated Vehicles, IEEE Trans. Automatic Control, Vol. 43, No. 4, April 1998.","DOI":"10.1109\/9.664155"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Lynch N., High Level Modeling and Analysis of an Air Traffic Management System, Proc. HSCC\u201999, 2nd Int\u2019l Workshop on Hybrid Systems Computation and Control. Springer-Verlag, Berlin, 1999.","DOI":"10.1007\/3-540-48983-5_3"},{"key":"4_CR15","unstructured":"Milner R., Communication and Concurrency. Prentice Hall, Englewood Cliffs, NJ, 1989."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Sahraoui A. E. K., E. Anderson, J. van Katwijk, J. Zalewski, Formal Specification of a Safety Shell in Real-Time Control Practice, Proc. 25th IFAC\/IFIP Workshop on Real-Time Programming, Mallorca, Spain, May 15\u201319, 2000","DOI":"10.1016\/S1474-6670(17)39941-X"},{"key":"4_CR17","unstructured":"Sahraoui A. E. K., M. Romdhani, A. A. Jerraya, P. Chazelles A Multiformalisms Approach for Specifying Avionics Systems, First InternationalWorkshop on Hybrid Systems, Grenoble, 1996"},{"issue":"6","key":"4_CR18","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1016\/0967-0661(96)00080-9","volume":"4","author":"A. E. K. Sahraoui","year":"1996","unstructured":"Sahraoui A. E. K., M. Romdhani, A. Jeoffroy, A. A. Jerraya, Co-Specification for Co-Design in the Development of Avionics Systems, Control Eng. Practice, Vol. 4, No. 6, pp. 871\u2013876, 1996","journal-title":"Control Eng. Practice"},{"key":"4_CR19","unstructured":"Toetenel W. J., J. van Katwijk, Translation of Statecharts into XTG Graphs, TVS Communications, Department of Information Technology and Systems, Delft University of Technology, 2000."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Zave P., M. Jackson, Four Dark Corners of Requirements Engineering, AC MTrans. on Soft. Eng. and Meth., Vol. 6, No. 1, January 1997.","DOI":"10.1145\/237432.237434"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40891-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:03:22Z","timestamp":1556449402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40891-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411864","9783540408918"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-40891-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}