{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:26:49Z","timestamp":1760549209900},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:56Z","timestamp":1330279136000},"page":"400-414","source":"Crossref","is-referenced-by-count":1,"title":["Introduction of a suspend\/resume operator in ET-LOTOS"],"prefix":"10.1007","author":[{"given":"Christian","family":"Hernalsteen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"F\u00e9vrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"27_CR1","unstructured":"Bolognesi T., Lucidi F. and Trigila S.: Towards Timed Full LOTOS. In Proceedings of the first AMAST International Workshop on Real-Time Systems, Iowa City, USA, 1993."},{"key":"27_CR2","unstructured":"Garavel H. and Hautbois R-P.: An Experiment with the LOTOS Formal description Technique on the Flight Warning Computer of Airbus 330\/340 Aircrafts. In Proceedings of the first AMAST International Workshop on Real-Time Systems, Iowa city, USA, 1993."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Garavel H. and Sighireanu M.: On the Introduction of Exceptions in E-LOTOS. In Formal Description Techniques XI Theory, application and tools, Chapman & all, October, 1996.","DOI":"10.1007\/978-0-387-35079-0_30"},{"key":"27_CR4","volume-title":"Technical Report TR-315","author":"C. Hernalsteen","year":"1994","unstructured":"Hernalsteen C.: The introduction of time in LOTOS: a comparative study. Technical Report TR-315, Universit\u00e9 Libre de Bruxelles, D\u00e9partement d'Informatique, Brussels, Belgium, January, 1994."},{"key":"27_CR5","volume-title":"Technical Report TR-322","author":"C. Hernalsteen","year":"1995","unstructured":"Hernalsteen C.: Specification of Real-Time Schedulers with ET-LOTOS. Technical Report TR-322, Universit\u00e9 Libre de Bruxelles, D\u00e9partement d'Informatique, Brussels, Belgium, January, 1995."},{"key":"27_CR6","unstructured":"Hernalsteen C. and F\u00e9vrier A.: General study on the definition of a E-LOTOS suspend\/resume operator. In Working Draft on E-LOTOS. Enhancements to LOTOS, number JTC1\/SC21\/WG7 KC5. ISO\/IEC, April, 1995."},{"key":"27_CR7","unstructured":"Information Processing Systems-Open Systems Interconnection-LOTOS \u2014 A Formal Description Technique based on temporal ordering of observational behaviour. ISO 8807, 1989."},{"key":"27_CR8","first-page":"87","volume-title":"Proc. Formal description techniques V","author":"G. Leduc","year":"1992","unstructured":"Leduc G. and L\u00e9onard L.: A Timed Lotos supporting a Dense Time Domain and including New Timed Operators. In Michel Diaz and Roland Groz, editors, Proc. Formal description techniques V, pages 87\u2013102. North-Holland, Amsterdam, Netherlands, October 1992."},{"key":"27_CR9","first-page":"483","volume-title":"Proc. Fromal Description Techniques VI","author":"L. L\u00e9onard","year":"1994","unstructured":"L\u00e9onard L. and Leduc G.: An Enhanced Version of Timed LOTOS and Its Application to a Case Study. In Richard L. Tenney, Paul D. Amer, and M. Umit Uyar, editors, Proc. Fromal Description Techniques VI, pages 483\u2013500. North-Holland, Amsterdam, Netherlands, 1994."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Nicollin X. and Sifakis J.: An overview and synthesis on timed process algebra. In Proc. 3rd Workshop on Computer-Aided Verification, 1991.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"27_CR11","unstructured":"Quemada J., Azcorra A. and Pavon S.: The Lotosphere Design Methodology. In Proceedings of the third Lotosphere Workshop and Seminar, Pisa, Italy, 1992."},{"key":"27_CR12","unstructured":"Quemada J. and de Frutos D. and Miguel C.: The design of Timed Systems. In Proceedings of the First AMAST International Workshop on Real-Time Systems, Iowa City, USA, 1993."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:47Z","timestamp":1561372667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}