{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:28:17Z","timestamp":1752460097589,"version":"3.32.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,11,1]],"date-time":"1996-11-01T00:00:00Z","timestamp":846806400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1996,11]]},"DOI":"10.1007\/bf00337681","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T18:53:32Z","timestamp":1099594412000},"page":"245-263","source":"Crossref","is-referenced-by-count":8,"title":["A description language for engineering of complex real-time systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Alexander D.","family":"Stoyenko","sequence":"first","affiliation":[]},{"given":"Thomas J.","family":"Marlowe","sequence":"additional","affiliation":[]},{"given":"Phillip A.","family":"Laplante","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"CR1","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TSE.1986.6313044","volume":"12","author":"B. Auernheimer","year":"1986","unstructured":"Auernheimer, B., and Kemmerer, R. A. 1986. RT-ASLAN: A specification language for real-time systems. IEEE Transactions on Software Engineering SE-12(9): 879?889.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR2","unstructured":"Berry, G., Moisan, S., and Rigault, J.-P. 1983. Esterel: Towards a synchronous and semantically sound high level language for real-time applications. Proceedings of the IEEE 1983 Real-Time Systems Symposium, December, pp. 30?37."},{"issue":"3","key":"CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., and Diaz, M. 1991. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17(3): 259?273.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E. M., Emerson, E. A., and Sistla, A. P. 1986. Automatic verification of finite state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems 8(2): 244?263.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"11","author":"B. Dasarathy","year":"1985","unstructured":"Dasarathy, B. 1985. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering SE-11(1): 80?86.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Huizing, C., Gerth, R., and de Roever, W. P. 1987. Full abstraction of a real-time denotational semantics for an Occam-like language. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 223?238. Association for Computing Machinery?SIGPLAN.","DOI":"10.1145\/41625.41645"},{"key":"CR7","unstructured":"Jahanian, F., and Stuart, D. 1988. A method for verifying properties of modechart specifications. In Proceedings of the Ninth Real-Time Systems Symposium, pages 12?21. IEEE Computer Society."},{"issue":"9","key":"CR8","doi-asserted-by":"crossref","first-page":"940","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E., and Stoyenko, A. D. 1986. Real-time euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering SE-12(9): 940?949.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Krishnan, P., and Volz, R. 1989. A distributed real-time language and its opertional semantics. Proceedings of the IEEE 1989 Real-Time Systems Symposium pages 41?50, Santa Monica, California.","DOI":"10.1109\/REAL.1989.63555"},{"key":"CR10","unstructured":"Ostroff, J. S. 1991. Survey of formal methods for the specification and design of real-time systems. In Tutorial on Specifications of Time?Abstractions, Design Methods, Languages edited by K. M. Kavi. IEEE Press."},{"issue":"8","key":"CR11","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/32.83911","volume":"17","author":"A. D. Stoyenko","year":"1991","unstructured":"Stoyenko, A. D., Hamacher, V. C., Holt, R. C. 1991. Analyzing hard-real-time programs for guaranteed schedulability, IEEE Transactions on Software Engineering SE-17(8): 737?750.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Stoyenko, A. D., and Marlowe, T. J. 1992. Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. Journal of Real-Time Systems 4(4).","DOI":"10.1007\/BF00355297"},{"key":"CR13","unstructured":"Stoyenko, A. D., Marlowe, T. J., and Laplante, P. A. 1995. A description language for engineering of complex real-time systems. Computer and Information Science Research Report CIS-95-22, New Jersey Institute of Technology."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00337681.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00337681\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00337681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T17:55:01Z","timestamp":1734630901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00337681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,11]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,11]]}},"alternative-id":["BF00337681"],"URL":"https:\/\/doi.org\/10.1007\/bf00337681","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1996,11]]}}}