{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:41Z","timestamp":1725493181436},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405399"},{"type":"electronic","value":"9783540450757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45075-0_12","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:49:12Z","timestamp":1193521752000},"page":"203-217","source":"Crossref","is-referenced-by-count":1,"title":["Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools"],"prefix":"10.1007","author":[{"given":"Giacomo","family":"Bucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Fedeli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"12_CR1","unstructured":"ITU-T. Recommendation Z.100 (08\/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva."},{"key":"12_CR2","unstructured":"Telelogic SDT 4.3 manuals, 2002."},{"key":"12_CR3","unstructured":"Cinderella SDL 1.2 manuals, 2002."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"M. Bozga, S. Graf, L. Mounier, I. Ober, J.-L. Roux, D. Vincent. Timed extensions for SDL. Proceedings of SDL Forum 2001, 2001.","DOI":"10.1007\/3-540-48213-X_14"},{"key":"12_CR5","unstructured":"G. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers, January 1997."},{"key":"12_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of SAM-2002","author":"S. Graf","year":"2003","unstructured":"S. Graf. Expression of time and duration constraints in SDL. Proc. of SAM-2002, LNCS 2599, 2003."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"R. Gotzhein, U. Gl\u00e4sser, A. Prinz. Towards a new formal SDL semantics based on abstract state machines. SDL\u2019 99-The Next Millennium, 9th SDL Forum Proceedings, pages 171\u2013190, Elsevier, 1999.","DOI":"10.1016\/B978-044450228-5\/50013-8"},{"key":"12_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Modeling urgency in timed systems","author":"S. Bornot","year":"1998","unstructured":"S. Bornot, J. Sifakis, S. Tripakis. Modeling urgency in timed systems. LNCS 1536, 1998."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"H. Fleischhack, B. Grahlmann. A compositional petri net semantics for SDL. Int. Conf. on Application and Theory of Petri Nets, 1998.","DOI":"10.1007\/3-540-69108-1_9"},{"key":"12_CR10","first-page":"307","volume":"1","author":"M. Bozga","year":"1999","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, L. Mounier. IF: An intermediate representation and validation environment for timed asynchronous systems. World Congress on Formal Methods (1), pages 307\u2013327, 1999.","journal-title":"World Congress on Formal Methods"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"R. Alur, D. L. Dill. Automata for modeling real-time systems. Proceedings of 17th ICALP, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"B. Berthomieu, M. Diaz. Modeling and verification of time dependent systems using time petri nets. IEEE Transactions on Software Engineering, 17, 1991.","DOI":"10.1109\/32.75415"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"E. Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Transactions on Software Engineering, 2001.","DOI":"10.1109\/32.940727"},{"key":"12_CR14","series-title":"Technical report","volume-title":"Timed state space analysis of fixed priority preemptive systems","author":"G. Bucci","year":"2002","unstructured":"G. Bucci, A. Fedeli, E. Vicario. Timed state space analysis of fixed priority preemptive systems. Technical report, Dipartimento Sistemie Informatica, Firenze, Italy, December 2002. also submitted to IEEE Transactions on Software Engineering, September 2002."},{"key":"12_CR15","unstructured":"S. Spitz, F. Slomka, M. D\u00f6rfel. SDL* an annotated specification language for engineering multimedia communication systems. Sixth Open Workshop on High Speed Networks, 1997."},{"key":"12_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 10th SDL Forum","author":"R. Munzenberger","year":"2001","unstructured":"R. Munzenberger, F. Slomka, M. D\u00f6rfel, R. Hofmann. A general approach for specification of real-time systems with SDL. Proceedings of 10th SDL Forum., LNCS 2078, Springer, 2001."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J.M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J.M. Troya. Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. Proceedings of 9th SDL Forum., Elsevier, 1999.","DOI":"10.1016\/B978-044450228-5\/50017-5"},{"key":"12_CR18","unstructured":"J.M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J.M. Troya. Integrating schedulability analysis and design techniques in SDL. IEEE Real Time Systems Journal, 2001."},{"key":"12_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES\u201998)","author":"T. Kolloch","year":"1998","unstructured":"T. Kolloch, G. Farber. Mapping an embedded hard real-time systems SDL specification to an analizable task network: a case study. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES\u201998), LNCS, Springer-Verlag, June 1998."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"J.-Y. Chung, J.W. S. Liu, K.-J. Lin. Scheduling periodic jobs that allow imprecise results. IEEE Transactions on Computers, 1990.","DOI":"10.1109\/12.57057"},{"key":"12_CR21","unstructured":"G. Bucci, A. Fedeli, E. Vicario. Predicting timeliness of reactive systems under flexible scheduling. Proceedings of Int.Symph. on Autonomous Decentralized Systems, April 2003."}],"container-title":["Lecture Notes in Computer Science","SDL 2003: System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45075-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:17:38Z","timestamp":1556936258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45075-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405399","9783540450757"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45075-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}