{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:34:12Z","timestamp":1649208852104},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1007\/bf01088589","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:13:53Z","timestamp":1107540833000},"page":"213-234","source":"Crossref","is-referenced-by-count":12,"title":["Distributed execution of specifications"],"prefix":"10.1007","volume":"5","author":[{"given":"Juan A.","family":"De La Puente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gonzalo","family":"Le\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Carlos","family":"Due\u00f1as","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Berthomieu, B. and Diaz, M. 1991. Modeling and verification of time dependent systems using Time Petri Nets.IEEE Transitions on Software Engineering, 17(3).","DOI":"10.1109\/32.75415"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Blaue, C. and Ha?, M. 1990. A META IV subset compiler. Technical report, Kiel University, April.","DOI":"10.1007\/3-540-54834-3_54"},{"issue":"5","key":"CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B. Boehm","year":"1988","unstructured":"Boehm, B. 1988. A spiral model of software development and enhancement.IEEE Computer, 21(5): 61?72.","journal-title":"IEEE Computer"},{"issue":"2\/3","key":"CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01088588","volume":"5","author":"R. Elmstr\u00f8m","year":"1993","unstructured":"Elmstr\u00f8m, R., Lassen, P.B., and Andersen, M. 1993. An executable subset of VDH-SL in a SA\/RT framework.Real-Time Systems, 5(2\/3): 197?211.","journal-title":"Real-Time Systems"},{"issue":"2\/3","key":"CR5","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01088591","volume":"5","author":"R. Elmstr\u00f8m","year":"1993","unstructured":"Elmstr\u00f8m, R., Lintulampi, R., and Pezz\u00e9, M. 1993. Giving semantics to SA\/RT by means of High-Level Timed Petri nets.Real-Time Systems, 5 (2\/3): 249?271.","journal-title":"Real-Time Systems"},{"issue":"2\/3","key":"CR6","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF01088590","volume":"5","author":"M. Felder","year":"1993","unstructured":"Felder, M., Ghezzi, C., and Pezz\u00e9 M.: 1993. High-Level Timed Petri Nets as a kernel for executable specification.Real-Time Systems 5 (2\/3): 235?248.","journal-title":"Real-Time Systems"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., and Pezz\u00e9, M. A unified High-Level Petri net formalism for time-critical systems.IEEE Transactions on Software Engineering. 17(2): 160?172.","DOI":"10.1109\/32.67597"},{"key":"CR8","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones C.B. 1990.Systematic Software Development Using VDM (second edition. Englewood Cliffs, NJ, Prentice Hall.","edition":"second edition"},{"issue":"7","key":"CR9","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L. 1978. Time, clocks and the ordering of events in a distributed system.Communications of the ACM, 21(7): 558?565.","journal-title":"Communications of the ACM"},{"issue":"2\/3","key":"CR10","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF01088586","volume":"5","author":"Le\u00f3n","year":"1993","unstructured":"Le\u00f3n, Puente, J.A. de la, Due\u00f1as, J.C., Alonso, A., and Zakhama, N. 1993. The IPTES environment: Support for incremental, heterogeneous and distributed prototyping.Real-Time Systems 5 (2\/3): 153?171.","journal-title":"Real-Time Systems"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Le\u00f3n, G., Due\u00f1as, J.C., Puente, J.A. de la, and Alonso, A. 1992. Real time object communication protocol for incremental and distributed prototyping. In4th Euromicro Workshop on Real-Time Systems, pages 79?84, 1992.","DOI":"10.1109\/EMWRT.1992.637475"},{"issue":"2","key":"CR12","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00365334","volume":"3","author":"S. Morasca","year":"1991","unstructured":"Morasca, S., Pezz\u00e9, M., and Trubian M. 1991. Timed high-level nets.Real-Time Systems, 3(2):165?189.","journal-title":"Real-Time Systems"},{"key":"CR13","volume-title":"Distributed Computer Control Systems 1991","author":"J.A. Puente de la","year":"1992","unstructured":"Puente, J.A. de la, Le\u00f3n, G., Ruz, M.A., and Sink, E.W. 1992. An architecture for incremental prototyping of distributed Real-Time Systems. In (H. Kopetz, ed.)Distributed Computer Control Systems 1991. Oxford, UK: Pergamon Press."},{"issue":"2\/3","key":"CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01088585","volume":"5","author":"P. Pulli","year":"1993","unstructured":"Pulli, P. and Elmstr\u00f8m, R. 1993. IPTES: A concurrent engineering approach for real-time software development.Real-Time Systems, 5 (2\/3): 139?152.","journal-title":"Real-Time Systems"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/B978-0-08-041894-0.50011-3","volume-title":"Real-Time Programming 1992","author":"P. Pulli","year":"1992","unstructured":"Pulli, P. and Heikkinen, M. 1992. Heterogeneous prototypes in concurrent engineering of embedded software. In (Luc Boullart and Juan A. de la Puente, ed.)Real-Time Programming 1992, pages 49?54. Oxford, UK: Pergamon Press."},{"issue":"2\/3","key":"CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01088587","volume":"5","author":"P. Pulli","year":"1993","unstructured":"Pulli, P., Heikkinen, M., and Lintulampi, R. 1993. Graphical animation as a form of prototyping of real-time software systems.Real-Time Systems, 5 (2\/3): 173?195.","journal-title":"Real-Time Systems"},{"key":"CR17","unstructured":"Pulli, P., Elmstr\u00f8m, R., Le\u00f3n, G., and Puente, J.A. de la 1991. IPTES?incremental prototyping technology for embedded Real-Time Systems. InESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991, pages 497?512. ESPRIT, Commission of the European Communities, November. IPTES Doc.id. :IPTES-IFAD-61-V1.1."},{"key":"CR18","volume-title":"Las redes de Petri en la Autom\u00e1tica y en la Inform\u00e1tica","author":"M. Silva","year":"1985","unstructured":"Silva, M.Las redes de Petri en la Autom\u00e1tica y en la Inform\u00e1tica. Editorial AC, Madrid, 1985 (In Spanish)."},{"issue":"2","key":"CR19","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"12","author":"T. Ward","year":"1986","unstructured":"Ward, T. 1986. The transformation schema: An extension of the data flow diagram to represent control and timing.IEEE Transactions on Software Engineering. SE-12(2): 198?210.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR20","volume-title":"Structured Development for Real-Time Systems, volume 1?3","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and Mellor, S.J.,Structured Development for Real-Time Systems, volume 1?3. New York: Yourdon Press, 1985."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088589.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088589\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:48:49Z","timestamp":1586101729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088589"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":20,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088589"],"URL":"https:\/\/doi.org\/10.1007\/bf01088589","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}