{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:41Z","timestamp":1725663521221},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:27:48Z","timestamp":1330194468000},"page":"547-570","source":"Crossref","is-referenced-by-count":3,"title":["Stepwise development of model-oriented real-time specifications from action\/event models"],"prefix":"10.1007","author":[{"given":"Hans","family":"Toetenel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Katwijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"30_CR1","unstructured":"Problem set for the Fourth International Workshop on Specification and Design, 1987. nr. 2: Heating System."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry and L. Cosserat. The Esterel Synchronous Programming Language and its Mathematical Semantics. In S.D. Brookes, A.W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, volume 197 of LNCS, pages 389\u2013448, Carnegie Mellon University, 1984. Springer Verlag.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner. Towards a Meaning of \u2018M\u2019 in VDM. In J. Diaz and F. Oregas, editors, Tapsoft-89, volume 352 of LNCS, pages 1\u201335. Springer Verlag, 1989.","DOI":"10.1007\/3-540-50940-2_25"},{"key":"30_CR4","unstructured":"D. Bj\u00f8rner and C.B. Jones. Formal Specification & Software Development. PHI. Prentice Hall, 1982."},{"key":"30_CR5","first-page":"70","volume-title":"5th Conference Automated Deduction, LNCS","author":"W.W. Bledsoe","year":"1980","unstructured":"W.W. Bledsoe and L.M. Hines. Variabale elimination and chaining in a resolution based prover for inequalities. In W. Bibel and Kowalski R., editors, 5th Conference Automated Deduction, LNCS, pages 70\u201387, New York, 1980. Springer Verlag."},{"key":"30_CR6","unstructured":"T. Bolognesi and Brinksma E. Introduction to the ISO Specification Language LOTOS. In P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors, The Formal description Technique LOTOS, pages 23\u201377. North Holland, 1989."},{"key":"30_CR7","unstructured":"L. Chen, S. Anderson, and F. Moller. A Timed Calculus of Communicating Systems. Technical Report LFCS-90\u2013127, University of Edinburgh, 1990."},{"issue":"1","key":"30_CR8","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"SE-11","author":"B. Dasarathy","year":"1985","unstructured":"B. Dasarathy. Timing Constraints of Real Time Systems: Constructs for Expressing them, Methods of Validating them. IEEE Transactions on Software Engineering, SE-11(1):80\u201386, January 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"M.S. Deutsch. Focussing on Real-Time Systems Analysis on User Operations. IEEE Software, pages 39\u201351, September 1988.","DOI":"10.1109\/52.7942"},{"key":"30_CR10","first-page":"13","volume-title":"Fourth International Workshop on Software Specification and Design","author":"J. Dias-Gonzales","year":"1987","unstructured":"J. Dias-Gonzales and J.E. Urban. ENVISAGER: A Visual Object-Oriented Specification Environment for Real-Time Systems. In Fourth International Workshop on Software Specification and Design, pages 13\u201320, Monterey, California, USA, 1987. IEEE Computer Society Press."},{"issue":"9","key":"30_CR11","first-page":"890","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian F. and A.K-L. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE TSE, SE-12(9):890\u2013904, September 1986.","journal-title":"IEEE TSE"},{"key":"30_CR12","unstructured":"ISO SC22\/WG19. VDM Specification Language \u2014 Proto-Standard, 1991. Draft dated 9th March."},{"key":"30_CR13","unstructured":"C.B. Jones. Systematic Software Development Using VDM, 2-nd edition. PHI. Prentice Hall, 1990."},{"key":"30_CR14","unstructured":"Jarvinen H-M. and R. Kurki-Suonio. The Disco Language. Technical Report, Tampere University, Software Systems Laboratory, Report 8, March 1990."},{"key":"30_CR15","volume-title":"Technical report","author":"P.G. Larsen","year":"1990","unstructured":"P.G. Larsen, A. Tarlecki, W. Pawlowski, and M. Borzyszkowski, Wieth. The Dynamic Semantics of the BSI\/VDM Specification Language. Technical report, IFAD, The institute of Applied Computer Science, Munkebjergsvaenget 17, DK-5230 Odense M, Denmark, August 1990."},{"key":"30_CR16","volume-title":"Technical report","author":"L.Y. Liu","year":"1988","unstructured":"L.Y. Liu and R.K. Shyamasundar. Programming for Real-Time Reliable Reactive Systems. Technical report, Penn. State University, University Park PA 16802, 1988."},{"issue":"3","key":"30_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/75200.75212","volume":"14","author":"L.Y.H. Liu","year":"1989","unstructured":"L.Y.H. Liu and R.K. Shyamasundar. An Operational Semantics of Real Time Design Language RT-CDL. ACMSIGSOFT Engineering Notes, 14(3):75\u201382, May 1989. (proceedings of the Fifth International Workshop on Software Specification and Design).","journal-title":"ACMSIGSOFT Engineering Notes"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verification of Concurrent Programs: The Temporal Framework. In R.S. Boyer and S. Strother Moore, editors, The Correctness Problem in Computer Science, pages 215\u2013273. Academic Press, 1981.","DOI":"10.21236\/ADA106750"},{"key":"30_CR19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for Synchrony and Asynchrony. TCS, 25:267\u2013310, 1983.","journal-title":"TCS"},{"key":"30_CR20","unstructured":"R. Milner. Communication and Concurrency. PHI. Prentice Hall, 1989."},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"N. Plat, van Katwijk J., and Pronk K. A Case For Structured Analysis\/Formal Design. accepted for 4th VDM'91 Symposium Noordwijkerhout, The Netherlands, 1991.","DOI":"10.1007\/3-540-54834-3_8"},{"key":"30_CR22","unstructured":"N. Plat, J van Katwijk, and W.J. Toetenel. Application and Benefits of Formal Methods in Software Development. Technical Report 91-ZZ, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1991."},{"key":"30_CR23","unstructured":"G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, 1981."},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"A. Pnueli. Applications of Temporal Logic to the specification and verification of reactive systems. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency, volume 224 of LNCS, pages 510\u2013585. Springer Verlag, 1986.","DOI":"10.1007\/BFb0027047"},{"key":"30_CR25","unstructured":"W.J. Toetenel. Model-Oriented Specification of Communicating Agents. In proceedings of CSN'91. SION, 1991."},{"key":"30_CR26","unstructured":"W.J. Toetenel. MOSCA-SL Language Reference Manual. Technical Report 91-YY, Faculty of Technical Mathematics & Informatics, Delft University of Technology, 1991."},{"key":"30_CR27","unstructured":"W.J. Toetenel. Model Oriented Specification of Communicating Agents. PhD thesis, Delft University of Technology, Faculty of Mathematics & Informatics, 1992. (in preparation)."},{"key":"30_CR28","doi-asserted-by":"crossref","unstructured":"W.J. Toetenel, J. van Katwijk, and N. Plat. Structured Analysis \u2014 Formal Design, using Object and Stream Oriented Formal Specification. In M. Moriconi, editor, ACM SIGSOFT International Workshop on Formal Methods in Software Development. ACM SEN, 1990.","DOI":"10.1145\/99569.99830"},{"key":"30_CR29","unstructured":"US Department of Defence, US Printing office. The Ada Programming Language Reference Manual, 1983."},{"key":"30_CR30","unstructured":"Y. Wang. An Interleaving Model for Real Time Systems. In K.G. Larsen and A. Skou, editors, 2nd Nordic Workshop on Program Correctness. The University of Aalborg, October 1990."},{"key":"30_CR31","doi-asserted-by":"crossref","unstructured":"Y. Wang. Real-Time Behaviour of Asynchronous Agents. In J.C.M. Baeten and J.W. Klop, editors, CONCUR'90 Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 502\u2013520. Springer Verlag, 1990.","DOI":"10.1007\/BFb0039080"},{"key":"30_CR32","unstructured":"W.G. Wood. Software Design. In Fourth International Workshop on Software Specification and Design, pages 201\u2013204. IEEE Computer Society Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:31Z","timestamp":1605628651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}