{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:42Z","timestamp":1725550902612},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433538"},{"type":"electronic","value":"9783540459231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_18","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"264-278","source":"Crossref","is-referenced-by-count":0,"title":["Formal Requirements Engineering Using Observer Models"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Nonnengart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Mart\u00edn Abadi and Leslie Lamport. The Existence of Refinement Mappings. Theoretical Computer Science, 82(2):253\u2013284, May 1991.","journal-title":"Theoretical Computer Science"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifaksi, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-60472-3_14","volume-title":"Hybrid Systems II","author":"T. A. Henzinger","year":"1995","unstructured":"T. A. Henzinger and P.-H. Ho. HyTech: The cornell hybrid technology tool. In P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors, Hybrid Systems II, pages 265\u2013293. Springer Verlag, Lecture Notes in Computer Science, vol. 999, 1995."},{"key":"18_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Formal Methods Europe (FME)","author":"D. Hutter","year":"1996","unstructured":"D. Hutter, B. Langenstein, J. H. Siekmann C. Sengler, W. Stephan, and A. Wolpers. Deduction in the verification support environment (vse). In Formal Methods Europe (FME), LNCS. Springer, 1996."},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48257-1","volume-title":"VSE: Controlling the complexity in formal software developments","author":"D. Hutter","year":"1999","unstructured":"Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, and Kurt Stenzel. VSE: Controlling the complexity in formal software developments. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Proceedings Current Trends in Applied Formal Methods, FM-Trends 98, Boppard, Germany, 1999. Springer-Verlag, LNCS 1641."},{"key":"18_CR7","unstructured":"U. Institute and o Standards. Common criteria for information technology security evaluation, 1999."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Heiko Mantel. Possibilistic definitions of security\u2014 an assembly kit. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, Cambridge, England, 2000. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.2000.856936"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1996","unstructured":"Catherine Meadows. The NRL protocol analyzer: An overview. Journal of Logic Programming, 26(2):113\u2013131, 1996.","journal-title":"Journal of Logic Programming"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Jonathan K. Millen. CAPSL: Common authentication protocol specification language. The MITRE Corporation, Technical Report MP 97B48, 1997. http:\/\/www.csl.sri.com\/~millen\/capsl .","DOI":"10.1145\/304851.304879"},{"key":"18_CR11","unstructured":"A. Nonnengart, G. Rock, and W. Stephan. Expressing Realtime Properties in VSEII. In ESA Workshop on On-Board Autonomy, volume WPP-191, pages 447\u2013454, October 2001."},{"key":"18_CR12","unstructured":"A. Nonnengart, G. Rock, and W. Stephan. Using Hybrid Automata to Express Realtime Properties in VSE-II. In Ingrid Russel and John Kolen, editors, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, pages 640\u2013644. AAAI Press, 2001."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:55:48Z","timestamp":1558968948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}