{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:02Z","timestamp":1725456242535},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020939","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"114-125","source":"Crossref","is-referenced-by-count":5,"title":["Extended RTL in the specification and verification of an industrial press"],"prefix":"10.1007","author":[{"given":"Rog\u00e9rio","family":"de Lemos","sequence":"first","affiliation":[]},{"given":"Jon G.","family":"Hall","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"T. Anderson, R. de Lemos, J. Fitzgerald and A. Saeed. \u201cOn Formal Support for Industrial-Scale Requirements Analysis\u201d. Hybrid Systems. Eds. R. L. Grossman et al. Lectures Notes in Computer Science 736. Springer-Verlag. 1993. pp. 426\u2013451.","DOI":"10.1007\/3-540-57318-6_39"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"P. J. Antsaklis, J. A. Stiver, M. Lemmon. \u201cHybrid System Modelling and Autonomous Control Systems\u201d. Hybrid Systems. Eds. R. L. Grossman et al. Lectures Notes in Computer Science 736. Springer-Verlag. 1993. pp. 367\u2013392.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"R. Lemos de","year":"1995","unstructured":"R. de Lemos, A. Saeed, T. Anderson. \u201cAnalysing Safety Requirements for Process-Control Systems\u201d. IEEE Software 12. 1995. pp. 42\u201353.","journal-title":"IEEE Software"},{"key":"8_CR4","unstructured":"R. de Lemos, A. Saeed, T. Anderson. \u201cFormal Techniques for Requirements Analysis for Safety-Critical Systems\u201d. Mathematics of Dependable Systems. C. Mitchell and V. Stavridou (Eds.). Oxford University Press. 1995. pp. 63\u201395."},{"key":"8_CR5","unstructured":"R. de Lemos, J. Hall. \u201cERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems\u201d. Department of Computing Science Technical Report Series. University of Newcastle upon Tyne, UK. (also presented at the 2nd European Workshop on Real-Time and Hybrid Systems. May\/June 1995. Grenoble, France)."},{"key":"8_CR6","unstructured":"R. de Lemos, J. Hall. \u201cExtended RTL in the Specification and Verification of an Industrial Press\u201d. Department of Computer Science Technical Report Series. University of York, UK."},{"key":"8_CR7","unstructured":"K. L. Heninger, J. Kallander, D. L. Parnas and J. E. Shore. \u201cSoftware Requirements for the A-7E Aircraft\u201d. NRL Memorandum Report 3876. November 1978."},{"issue":"1","key":"8_CR8","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"SE-6","author":"K. L. Heninger","year":"1980","unstructured":"K. L. Heninger. \u201cSpecifying Software Requirements for Complex Systems: New Techniques and their Applications\u201d. IEEE Transactions on Software Engineering Vol. SE-6 (1). January 1980. pp 2\u201313.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"8_CR9","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian, A. K. Mok. \u201cSafety Analysis of Timing Properties in Real-Time Systems\u201d. IEEE Transactions on Software Engineering Vol. SE-12 (9). September 1986. pp 890\u2013904.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR10","volume-title":"Formal Specifications of Real-Time Systems","author":"F. Jahanian","year":"1988","unstructured":"F. Jahanian, A. K. Mok, D. A. Stuart. \u201cFormal Specifications of Real-Time Systems\u201d. Department of Computer Science TR-88-25. University of Texas at Austin, TX. June 1988."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J. Raisch, S. O'Young. \u201cA DES Approach to Control of Hybrid Dynamical Systems\u201d. Proceedings of the Workshop on Verification and Control of Hybrid Systems. New Brunswick, NJ. 1995. (In this volume).","DOI":"10.1049\/cp:19960639"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:41:07Z","timestamp":1586580067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0020939","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}