{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:10Z","timestamp":1725490510675},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_11","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T19:22:33Z","timestamp":1188760953000},"page":"158-169","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Metzger","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Queins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76820-0","volume-title":"Prototyping-An Approach to Evolutionary System Development","author":"R. Budde","year":"1992","unstructured":"Budde, R., Kautz, K., Kuhlenkamp, K. et al.: Prototyping-An Approach to Evolutionary System Development. Springer-Verlag, Berlin Heidelberg New York (1992)"},{"unstructured":"Metzger, A., Queins, S.: Specifying Building Automation Systems with PROBAnD, a Method Based on Prototyping, Reuse, and Object-orientation. In: Hofmann, P., Sch\u00fcrr, A. (eds.): OMER-Object-Oriented Modeling of Embedded Real-Time Systems. GI-Edition, Lecture Notes in Informatics (LNI), P-5. Bonner K\u00f6ln Verlag (2002) 135\u2013140","key":"11_CR2"},{"unstructured":"Mahdavi, A., Metzger, A., Zimmermann, G.: Towards a Virtual Laboratory for Building Performance and Control. In: Trappl, R. (ed.): Cybernetics and Systems 2002, Vol. 1. Austrian Society for Cybernetic Studies, Vienna (2002) 281\u2013286","key":"11_CR3"},{"unstructured":"Mansurov, N., Vasura, D.: Approximation of (H)MSC semantics by Event Automata. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM 2000). Grenoble, France. (2000)","key":"11_CR4"},{"unstructured":"Khendek, F., Robert, G., Butler, G. et al.: Implementability of Message Sequence Charts. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM\u2019 98). Berlin, Germany. (1998)","key":"11_CR5"},{"unstructured":"Queins, S.: PROBAnD-Eine Requirements-Engineering-Methode zur systematischen, dom\u00e4nenspezifischen Entwicklung reaktiver Systeme. Dissertation. Department of Computer Science. University of Kaiserslautern (2002)","key":"11_CR6"},{"unstructured":"Metzger, A. et al.: PROTAGOnIST-Tools for Iterative Software Development. Web Site. Department of Computer Science. University of Kaiserslautern http:\/\/wwwagz.informatik.uni-kl.de\/staff\/metzger\/protagonist\/","key":"11_CR7"},{"unstructured":"Zimmermann, G.: A New Approach To Building Simulation Based on Communicating Objects. In: Lamberts, R. et al. (eds.): Proceedings of the Seventh International IBPSA Conference, Vol. 2. Rio de Janeiro, Brazil (2001) 707\u2013714","key":"11_CR8"},{"unstructured":"Queins, S., Metzger, A.: The PROBAnD Railway Crossing Specification. Contribution to the SDL-2000 Design Contest of the 3rd SDL Forum Society International Workshop on SDL and MSC. Aberystwyth, Wales (2002) http:\/\/www.sdl-forum.org\/SAM contest\/QueinsMetzger\/","key":"11_CR9"}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T14:11:46Z","timestamp":1629641506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}