{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:34Z","timestamp":1742617114426,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:14:11Z","timestamp":1330211651000},"page":"122-146","source":"Crossref","is-referenced-by-count":8,"title":["ASTRAL: An assertion language for specifying realtime systems"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Kemmerer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"8_CR1","volume-title":"ASLAN User's Manual, Report No. TRCS84-10","author":"B. Auernheimer","year":"1985","unstructured":"Auernheimer, B. and R. A. Kemmerer, ASLAN User's Manual, Report No. TRCS84-10, Department of Computer Science, University of California, Santa Barbara, March 1985."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Auernheimer, B. and R.A. Kemmerer, \u201cRT-ASLAN: A Specification Language for Real-Time Systems,\u201d IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, September 1986.","DOI":"10.1109\/TSE.1986.6313044"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bal, H.E., J.G. Steiner, and A.S. Tanenbaum, \u201cProgramming Languages for Distributed Computing Systems,\u201d ACM Computing Surveys, Vol. 21, No. 3, September 1989.","DOI":"10.1145\/72551.72552"},{"key":"8_CR4","unstructured":"Berry, G., P. Couronne', and G. Gonthier, Synchronous Programming of Reactive Systems, an Introduction to ESTEREL, INRIA Report No. 647, 1987."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Caspi, P., et al. \u201cLUSTRE: a Declarative Language for Programming synchronous Systems\u201d, Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, Munich, 1987.","DOI":"10.1145\/41625.41641"},{"key":"8_CR6","unstructured":"Chandi, K.M. and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Dasarathy, B., \u201cTiming Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them,\u201d IEEE Transactions on Software Engineering, Vol. SE-11, No. 1, January 1985.","DOI":"10.1109\/TSE.1985.231845"},{"issue":"No.3","key":"8_CR8","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/44501.44502","volume":"10","author":"L.K. Dillon","year":"1988","unstructured":"Dillon, L.K., G.S. Avrunin, and J.C. Wileden, \u201cConstrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems,\u201d ACM Transactions on Programming Languages and Systems, Vol. 10, No. 3, pp. 374\u2013402, July 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Faulk, S.R. and D.L. Parnas, \u201cOn Synchronization in Hard Real-Time Systems,\u201d Communications of the ACM, Vol. 31, No. 3, March 1988.","DOI":"10.1145\/42392.42397"},{"key":"8_CR10","volume-title":"Report No. TRCS90-25","author":"C. Ghezzi","year":"1990","unstructured":"Ghezzi, C. and R.A. Kemmerer, ASTRAL: an Assertion Language for Specifying Realtime Systems, Report No. TRCS90-25, Department of Computer Science, University of California, Santa Barbara, California, November 1990."},{"key":"8_CR11","unstructured":"Ghezzi, C. et al., \u201cA General Way to Put Time in Petri Nets,\u201d Proceedings 4th International Workshop on Software Design and Specification, Monterey, California, April 3\u20134, 1987."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., D. Mandrioli, and A. Morzenti, \u201cTRIO: A Logic Language for Executable Specifications of Real-Time Systems,\u201d Journal of Systems and Software, June 1990.","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Gomaa, H., \u201cSoftware Development of Real-Time Systems,\u201d Communications of the ACM, Vol. 29, No. 7, July 1986.","DOI":"10.1145\/6138.6150"},{"issue":"No.3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D., \u201cStatecharts: A Visual Formalism for Complex Systems,\u201d Science of Computer Programming, Vol. 8, No. 3, pp. 231\u2013274, June 1987.","journal-title":"Science of Computer Programming"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D. et al., \u201cSTATEMATE: A Working Environment for the Development of Complex Reactive Systems,\u201d Proceedings 10th International Conference on Software Engineering, pp. 396\u2013406, Singapore, April 11\u201315, 1988","DOI":"10.1109\/ICSE.1988.93720"},{"key":"8_CR16","unstructured":"Hatley, D.J. and I.A. Pirbai, Strategies for Real-Time System Specification, Dorset House, 1988."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Jaffe, M.S. and N.G. Leveson, \u201cCompleteness, Robustness, and Safety in Real-Time Software Requirements Specification,\u201d Proceedings 11th International Conference on Software Engineering, Pittsburgh, Pennsylvania, May 15\u201318, 1989.","DOI":"10.1145\/74587.74628"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Jahanian, F. and A.K. Mok, \u201cSafety Analysis of Timing Properties of Real-Time Systems,\u201d IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, September 1986.","DOI":"10.1109\/TSE.1986.6313045"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Kemmerer, R.A., \u201cTesting Software Specifications to Detect Design Errors,\u201d IEEE Transactions on Software Engineering, Vol. SE-11, No. 1, January 1985.","DOI":"10.1109\/TSE.1985.231535"},{"key":"8_CR20","unstructured":"Koymans, R., R. Kuiper, and E. Zijlstra, \u201cSpecifying Message Passing and Real-Time Systems with Real-Time Temporal Logic,\u201d ESPRIT '87 Achievement and Impact, North Holland, 1987."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Koymans, R., Specifying Message Passing and Time-Critical Systems with Temporal Logic, PhD Thesis, Eindhoven University of Technology, 1989.","DOI":"10.1007\/3-540-51803-7_28"},{"key":"8_CR22","volume-title":"LNCS 207","author":"R. Koymans","year":"1985","unstructured":"Koymans, R. and W.P. de Roever, Examples of a Realtime Temporal Logic Specification, LNCS 207, Springer Verlag, Berlin, 1985."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Merlin, P.M. and D.J. Farber, \u201cRecoverability of Communication Protocols, Implications of a Theoretical Study,\u201d IEEE Transactions on Communications, Vol. COM-24, September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Milner, R., \u201cCalculi for Synchroni and Asynchroni,\u201d Theoretical Computer Science, Vol. 25, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"8_CR25","unstructured":"Morzenti, A., D. Mandrioli, and C. Ghezzi, A Model Parametric Real-Time Logic, Politecnico di Milano, Dipartimento di Elettronica, Report 90.010, 1990."},{"key":"8_CR26","unstructured":"Morzenti, A., The Specification of Real-Time Systems: Proposal of a Logic Formalism, PhD Thesis, Dipartimento di Elettronica, Politecnico di Milano, 1989."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \u201cThe Temporal Semantics of Computer Programs,\u201d Theoretical Computer Science, Vol. 13, 1981.","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"8_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-70224-2","volume-title":"Verification and Validation of Real-Time Software","author":"W.J. Quirk","year":"1985","unstructured":"Quirk, W.J., Verification and Validation of Real-Time Software, Springer Verlag, Berlin, 1985."},{"key":"8_CR29","unstructured":"IEEE Software, Special Issue on Formal Methods, Vol. 7, No. 5, September 1990."},{"key":"8_CR30","unstructured":"IEEE Transactions on Software Engineering, Special Issue on Formal Methods in Software Engineering, Vol. SE-16, No. 9, September 1990."},{"issue":"No.9","key":"8_CR31","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J.M. Wing","year":"1990","unstructured":"Wing, J.M., \u201cA Specifier's Introduction to Formal Methods,\u201d IEEE Computer, Vol. 23, No. 9, pp. 8\u201324, September 1990.","journal-title":"IEEE Computer"},{"key":"8_CR32","volume-title":"LNCS 321","author":"J. Zwiers","year":"1989","unstructured":"Zwiers, J., Compositionality, Concurrency, and Partial Correctness, LNCS 321, Springer Verlag, Berlin, 1989."}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:24:33Z","timestamp":1742592273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3540547428_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}