{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:36Z","timestamp":1725663996703},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:14:01Z","timestamp":1330211641000},"page":"147-165","source":"Crossref","is-referenced-by-count":1,"title":["Execution environment for ELECTRE applications"],"prefix":"10.1007","author":[{"given":"Denis","family":"Creusot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Lemoine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvon","family":"Trinquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Kung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Marbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Serrano-Morales","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"issue":"n.9","key":"9_CR1","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TSE.1986.6313044","volume":"SE-12","author":"B. Aeuernheimer","year":"1986","unstructured":"B. Aeuernheimer, R.A. Kermmerer. RT-ASLAN: A Specification Language for Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 9, pp. 879\u2013889, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR2","unstructured":"A. Benveniste, G. Berry. Real-Time Systems Design and Programming. Special section of the Proceedings of the IEEE on real-time programming. To appear in autumn 1991."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"B. Bruegge, P. Hibbard. Generalized Path Expressions: A High Level Debugging Mechanism. ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on High-Level Debugging, pp. 34\u201344, March 1983.","DOI":"10.1145\/1006147.1006157"},{"key":"9_CR4","unstructured":"E. Brinksma. A tutorial on Lotos. IFIP Workshop on Protocol Specifications, Testing and Implementation, Moissac, 1985."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"R.H. Campbell, A.N.Habermann. The Specification of Process Synchronization by Path Expressions. Lecture Notes in Computer Science, Vol. 16, Springer-Verlag, pp. 89\u2013102, December 1974.","DOI":"10.1007\/BFb0029355"},{"key":"9_CR6","unstructured":"D. Creusot. Guide d'utilisation du syst\u00e8me ELECTRE Version PC. Rapport de contrat Renault, VEH-ELE-D1, October 1988."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"A.-M. Deplanche, J.-P. Elloy, O. Roux. Redundancy in Fault Tolerant Real-time Process Control Systems. Congr\u00e8s mondial IMACS, Paris, July 1988.","DOI":"10.1007\/978-94-009-3931-8_25"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"R.D. Dixon, D. Hemmendinger. Analyzing Synchronization Problems by Using Event Histories as Languages. pp. 183\u2013188, 1986.","DOI":"10.1145\/324634.325237"},{"key":"9_CR9","unstructured":"J.P. Elloy, O. Roux. ELECTRE: A Language for Control Structuring in Real-Time. The Computer Journal, Vol. 28, n. 5, 1985."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"S.R. Faulk, D.L. Parnas. On Synchronization in Hard-Real-Time Systems. ACM, Vol. 31, n. 3, March 1988.","DOI":"10.1145\/42392.42397"},{"key":"9_CR11","series-title":"NATO ASI Series, Vol. 13","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"On the Development of Reactive System: Logic and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"D. Harel, A. Pnueli. On the Development of Reactive System: Logic and Models of Concurrent Systems. NATO ASI Series, Vol. 13 (K.R.Apt, ed.), Springer-Verlag, New-York, pp. 477\u2013498, 1985."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Stull-Trauring, M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, Vol. 16, n. 4, (K.R.Apt, ed.), pp. 403\u2013414, April 1990.","DOI":"10.1109\/32.54292"},{"issue":"n.9","key":"9_CR13","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. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 9, pp. 890\u2013904, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR14","unstructured":"A. Kung, I. Lacrouts-Cazenave, C. Serrano-Morales. Interconnection of Vehicle Software Components. Working conference on decentralized systems. IFIP W.G.10.3, Lyon, December 1989."},{"key":"9_CR15","unstructured":"P. Lemoine, Y. Trinquet, J. Perraud. Une proposition de modification de la structure d'arbre ELECTRE. Internal report LAN, 1990."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Springer-Verlag, n. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. A Logic for Real-Time Discrete Event Processes. IEEE Control System Magazine, pp. 95\u2013102, June 1990.","DOI":"10.1109\/37.56283"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"J. Perraud, O. Roux, M. Huou. Operational Semantics of a Kernel of the Electre Language. To appear in Theoretical Computer Science, n. 100, November 1992.","DOI":"10.1016\/0304-3975(92)90388-V"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science, Vol. 224","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: a Survey of Current Trends. Current Trends in Concurrency (Bakker & Al. eds.). Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin, pp. 510\u2013584, 1986."},{"key":"9_CR20","unstructured":"SCEPTRE. TSI, Vol. 3, n.1, January\u2013February 1984."},{"key":"9_CR21","unstructured":"R. Valette, M. Paludetto, B. Porcher-Labreuille, P. Farail. Approche Orient\u00e9e Objet HOOD et R\u00e9seaux de Petri pour la Conception de Logiciel Temps-R\u00e9el. Journ\u00e9es Internationales sur le G\u00e9nie Logiciel et ses Applications, Toulouse (France), December, 1988."},{"issue":"n.2","key":"9_CR22","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"SE-12","author":"P.T. Ward","year":"1986","unstructured":"P.T. Ward. The Transformation Schema: an Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transaction on Software Engineering, Vol. SE-12, n. 2, pp. 198\u2013210, February 1986.","journal-title":"IEEE Transaction on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:25Z","timestamp":1605646585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3540547428_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}