{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:36Z","timestamp":1748071596879},"reference-count":15,"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\/bf01088588","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:13:53Z","timestamp":1107540833000},"page":"197-211","source":"Crossref","is-referenced-by-count":17,"title":["An executable subset of VDM-SL in an SA\/RT framework"],"prefix":"10.1007","volume":"5","author":[{"given":"Ren\ufffd","family":"Elmstr\ufffdm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Poul B\ufffdgh","family":"Lassen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Andersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Albert, K., Jensen, K., and Shapiro, A.P. 1989. DESIGN\/CPN, A Tool Package Supporting the Use of Colored Petri Nets,Petri Net Newsletter (32): 1?15."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Andersen, M., Elmstr\u00f8m, R., Lassen, P.B., and Larsen P.G. 1992. Making Specifications Executable?Using IPTES Meta-IV,Proceedings of Euromicro '92, pp. 521?528.","DOI":"10.1016\/0165-6074(92)90363-C"},{"issue":"1?5","key":"CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0165-6074(90)90254-7","volume":"30","author":"A. Auer","year":"1990","unstructured":"Auer, A., Levanto, M., Okkonen, A., and Okkonen, J. 1990. Solution in Software Crisis.Microprocessing and Microprogramming, 30(1?5): 273?280.","journal-title":"Microprocessing and Microprogramming"},{"key":"CR4","series-title":"Series in Computer Science","volume-title":"Formal Specification & Software Development","author":"D. Bj\u00f8rner","year":"1982","unstructured":"Bj\u00f8rner, D. and Jones, C.B. 1982.Formal Specification & Software Development. Series in Computer Science, Englewood Cliffs, NJ: Prentice Hall International."},{"key":"CR5","unstructured":"BSI91. 1991. VDM Specification Language?Proto-Standard. Technical Report, British Standards Institution. 237 pages. BSI IST\/5\/50 N-231."},{"issue":"2\/3","key":"CR6","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 Pezze, 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":"4","key":"CR7","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. 1990. STATEMATE: A Working Environment for the Development of Complex Reactive Systems.IEEE Transactions on Software Engineering, 16(4): 403?414.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR8","volume-title":"Software Development A Rigorous Approach","author":"C.B. Jones","year":"1980","unstructured":"Jones, C.B. 1980.Software Development A Rigorous Approach. Englewood Cliffs, NJ: Prentice Hall International."},{"key":"CR9","volume-title":"An Executable Subset of Meta-IV with Loose Specification","author":"P.G. Larsen","year":"1991","unstructured":"Larsen, P.G. and Lassen, P.B. 1991.An Executable Subset of Meta-IV with Loose Specification, VDM'91 Symposium, VDM Europe, Berlin\/New York: Springer-Verlag."},{"key":"CR10","series-title":"Technical Report","volume-title":"Report on the Combination of Statemate and me-too","author":"M. Naftalin","year":"1988","unstructured":"Naftalin, M. 1988. Report on the Combination of Statemate and me-too. Technical Report D3-6-1. University of Stirling, Department of Computer Science, Stirling FK9 4LA, Scotland."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Okkonen, A., Auer, A., Levanto, M., Okkonen, J., and Kalaoja, J. 1989. SOKRATES-SA?A Formal Method for Specifying Real-Time Systems,Proceedings of Euromicro'89, pp. 513?520.","DOI":"10.1016\/0165-6074(89)90102-6"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Pulli, P., D\u00e4hler, J., Gisinger, H.P., and K\u00fcndig, A. 1988. Execution of Ward's Transformation Schema on the Graphic Specification and Prototyping Tools SPECS.,Proc. COMPEURO-88 Conference pp. 16?25.","DOI":"10.1109\/CMPEUR.1988.4930"},{"key":"CR13","first-page":"497","volume-title":"IPTES-Incremental Prototyping Technology for Embedded Real-Time Systems, ESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991","author":"P. Pulli","year":"1991","unstructured":"Pulli, P., Elmstr\u00f8m, R., Le\u00f3n, G., and Puente, J.A. 1991. IPTES-Incremental Prototyping Technology for Embedded Real-Time Systems, ESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991, pp. 497?512, Esprit, Commission of the European Communities."},{"key":"CR14","volume-title":"Structured Development for Real-Time Systems, Volumes 1?3","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and Mellor, S.J. 1985?1986.Structured Development for Real-Time Systems, Volumes 1?3, New York: Yourdon Press."},{"issue":"2","key":"CR15","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"SE-12","author":"P.T. Ward","year":"1986","unstructured":"Ward, P.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"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088588.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088588\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T05:56:03Z","timestamp":1556603763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":15,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088588"],"URL":"https:\/\/doi.org\/10.1007\/bf01088588","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}