{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:32:00Z","timestamp":1725460320761},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081484"},{"type":"electronic","value":"9781402081491"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8149-9_30","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T14:53:33Z","timestamp":1140620013000},"page":"297-306","source":"Crossref","is-referenced-by-count":0,"title":["Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Gl\u00e4sser","sequence":"first","affiliation":[]},{"given":"Mona","family":"Vajihollahi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Ch. Beierle, E. B\u00f6rger, I. \u0110urdanovic, U. Gl\u00e4sser and E. Riccobene. Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. In J.-R. Abrial, E. B\u00f6rger and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS, State-of-the-Art Survey, 52\u201378, Springer-Verlag, 1996","DOI":"10.1007\/BFb0027231"},{"issue":"1","key":"30_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0167-6423(01)00026-0","volume":"42","author":"D. Berry","year":"2002","unstructured":"D. Berry. Formal Methods: The Very Idea-Some thoughts about why they work when they work. Science of Computer Programming 42(1): 11\u201327 (2002)","journal-title":"Science of Computer Programming"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger. High Level System Design and Analysis using Abstract State Machines. In D. Hutter et al., eds., Current Trends in Applied Formal Methods (FM-Trends 98). Springer LNCS 1641, pp. 1\u201343, 1999","DOI":"10.1007\/3-540-48257-1_1"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger and R. St\u00e4rk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003","DOI":"10.1007\/978-3-642-18216-7"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, U. Gl\u00e4sser and W. M\u00fcller. Formal Definition of an Abstract VHDL\u201993 Simulator by EA-Machines. In C. Delgado Kloos and Peter T. Breuer, editors, Formal Semantics for VHDL, Kluwer Academic Publishers, 1995, 107\u2013139","DOI":"10.1007\/978-1-4615-2237-9_5"},{"key":"30_CR6","unstructured":"N. Dorny. Systems Engineering. University of Pennsylvania, Philadelphia, PA, URL: www.seas.upenn.edu\/~dorny\/se.htm#si"},{"key":"30_CR7","unstructured":"R. Farahbod, U. Gl\u00e4sser and M. Vajihollahi. Specification and Validation of the Business Process Execution Language for Web Services. In Proc. of the 11th International Workshop on Abstract State Machines (ASM\u20192004), volume 3065 of LNCS, pages 69\u201386, Springer-Verlag, 2004"},{"key":"30_CR8","unstructured":"M. Fowler. The New Methodology, April 2003, online reference at URL: www.martinfowler.com\/articles\/newMethodology.html"},{"issue":"3","key":"30_CR9","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U. Gl\u00e4sser","year":"2003","unstructured":"U. Gl\u00e4sser, R. Gotzhein and A. Prinz. Formal Semantics of SDL-2000: Status and Perspectives. Computer Networks 42(3): 343\u2013358, Elsevier, 2003","journal-title":"Computer Networks"},{"key":"30_CR10","unstructured":"U. Gl\u00e4sser, Y. Gurevich and M. Veanes. An Abstract Communication Model. Microsoft Research, Technical Report, MSR-TR-2002-55, May 2002"},{"key":"30_CR11","unstructured":"U. Gl\u00e4sser, Y. Gurevich and M. Veanes. Abstract Communication Model for Distributed Systems. To appear in IEEE Transactions on Software Engineering."},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"U. Gl\u00e4sser and M. Veanes. Universal Plug and Play Machine Models. In B. Kleinjohann et al. (Eds.): Design and Analysis of Distributed Embedded Systems, IFIP Conference Proceedings 219, Kluwer Academic Publishers, 2002","DOI":"10.1007\/978-0-387-35599-3_3"},{"issue":"1","key":"30_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y. Gurevich","year":"2000","unstructured":"Y. Gurevich. Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, 1(1): 77\u2013111, July 2000","journal-title":"ACM Transactions on Computational Logic"},{"key":"30_CR14","unstructured":"Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, Oxford University Press, 1995, pages 9\u201336"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Gurevich and J. Huggins: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In H. Kleine B\u00fcning, editor, Computer Science Logic, volume 1092 of LNCS, pages 266\u2013290, Springer, 1996","DOI":"10.1007\/3-540-61377-3_43"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"W. M\u00fcller, J. Ruf and W. Rosenstiel. An ASM Based SystemC Simulation Semantics. In W. M\u00fcller, W. Rosenstiel and J. Ruf. SystemC-Methodologies and Applications, Kluwer Academic Publishers, 2003","DOI":"10.1007\/b105968"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"R. St\u00e4rk, J. Schmid, and E. B\u00f6rger, Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001","DOI":"10.1007\/978-3-642-59495-3"}],"container-title":["IFIP International Federation for Information Processing","Design Methods and Applications for Distributed Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8149-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:42:39Z","timestamp":1558374159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8149-9_30"}},"subtitle":["Bridging the gap between formal and empirical approaches"],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081484","9781402081491"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8149-9_30","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}