{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:21Z","timestamp":1742617221357,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:45Z","timestamp":1330294245000},"page":"90-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Real-time mode-machines"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Paynter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"5","key":"6_CR1","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N. Audsley","year":"1993","unstructured":"Audsley, N., Burns, A., Richardson, M., Tindall, K. and Wellings, A.J.: \u2018Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling', Softw. Eng. J., 1993, 8, (5), pp. 284\u2013292","journal-title":"Softw. Eng. J."},{"key":"6_CR2","unstructured":"Armstrong, J.M.: \u2018Aspects of Gradualistic Mode Transition Systems', Technical Report DCSC\/TR\/95\/8, University of York, June 1995"},{"key":"6_CR3","unstructured":"Arnold, A.: \u2018Finite Transition Systems', Prentice-Hall International Series in Computer Science, 1994"},{"issue":"6","key":"6_CR4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1049\/cce:19900076","volume":"1","author":"A. Avnur","year":"1990","unstructured":"Avnur, A.: \u2018Finite State Machines for Real-Time Software Engineering', Comp. and Cont. Eng. J., 1990, 1, (6), pp 273\u2013278","journal-title":"Comp. and Cont. Eng. J."},{"key":"6_CR5","unstructured":"Broy, M., Jackson, K., and Pennington, R.: \u2018A Stream Function Definition of MASCOT', Technical Report, CO5255\/FTR, Issue 1.1, System Designers Software Technology Centre, March 1987"},{"key":"6_CR6","unstructured":"Burns, A.: \u2018Preemptive Priority-Based Scheduling: An Appropriate Engineering Approach', pp. 225\u2013248, in \u2018Advances in Real-Time Systems'. Edited by S.H. Son, Prentice-Hall, 1995."},{"key":"6_CR7","unstructured":"Chapman, R.: 'static Timing Analysis and Program Proof', D.Phil. Thesis, Dept. of Computer Science, University of York, March 1995"},{"key":"6_CR8","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.: \u2018Statecharts: A Visual Formalism for Complex Systems', Sci. of Comput. Prog., 1987, 8, pp. 231\u2013274","journal-title":"Sci. of Comput. Prog."},{"key":"6_CR9","unstructured":"Henzinger, T.A., Manna, Z., and Pnueli, A.: \u2018Timed Transition Systems', Proc. \u2018Real-Time: Theory in Practice', REX Workshop June 1991, Lect. Notes Comput. Sci., 600, (Springer-Verlag, 1992)"},{"key":"6_CR10","unstructured":"Hopcroft, J.E., and Ullman, J.D.: \u2018Introduction to Automata Theory, Languages, and Computation', Addison-Wesley Publishing Company, 1979"},{"issue":"9","key":"6_CR11","first-page":"890","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian, F., and Mok, A.K: \u2018Safety Analysis of Timing Properties in Real-Time Systems', IEEE Trans., 1986, SE-12, (9), pp. 890\u2013904","journal-title":"IEEE Trans."},{"issue":"12","key":"6_CR12","first-page":"933","volume":"SE-20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., and Mok, A.K.: \u2018Modechart: A Specification Language for Real-Time Systems', IEEE Trans., 1994, SE-20, (12), pp. 933\u2013947","journal-title":"IEEE Trans."},{"key":"6_CR13","unstructured":"Joint IECCA and MUF Committee on MASCOT (JIMCOM): \u2018The Official Handbook of MASCOT', Version 3.1, Issue 1, Crown Copyright, June 1987"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Jahanian, F., Lee, R., and Mok, A.K.: 'semantics of Modechart in Real Time Logic', Proc. 21st Annual Hawaii Int. Conf. on System Science, 1988, pp. 479\u2013489, 1988","DOI":"10.1109\/HICSS.1988.11840"},{"key":"6_CR15","unstructured":"Jahanian, F., Mok, A.K., and Stuart, D.A.: \u2018Formal Specification of Real-time Systems', Technical Report TR-88-25, Department of Computer Science, University of Texas at Austin, June 1988"},{"key":"6_CR16","unstructured":"Joseph, M.: \u2018Problems, Promises and Performance: Some Questions for Real-Time System Specification', Proc. of \u2018Real-Time: Theory in Practice', REX Workshop June 1991, Lect. Notes in Comput. Sci., 600, (Springer-Verlag, 1992)"},{"key":"6_CR17","unstructured":"Manzano, M.: \u2018Introduction to Many-Sorted Logic', in Meinke, K. and Tucker, J.V. (Ed.): \u2018Many-Sorted Logic and its Applications', Wiley Professional Computing, 1993"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Manna, Z., and Pnueli, A.: \u2018The Temporal Logic of Reactive and Concurrent Systems: Specification', Springer-Verlag, 1992","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"6_CR19","unstructured":"Paynter, S.E.: \u2018The Formalisation of Software Development Using MASCOT', Ph.D. Thesis, Mathematics Dept., University of Southampton, December 1993"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Paynter, S.E.: \u2018Relating Mode-Machines and Concurrent Designs by a Process-Algebraic Foundation', To Appear, 1996.","DOI":"10.1007\/3-540-61648-9_36"},{"issue":"3","key":"6_CR21","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1049\/sej.1986.0018","volume":"1","author":"H.R. Simpson","year":"1986","unstructured":"Simpson, H.R.: \u2018The MASCOT Method', Softw. Eng. J., 1986, 1, (3), pp. 103\u2013120","journal-title":"Softw. Eng. J."},{"issue":"1","key":"6_CR22","first-page":"17","volume":"137","author":"H.R. Simpson","year":"1990","unstructured":"Simpson, H.R.: \u2018Four-Slot Fully Asynchronous Communication Mechanism', IEE Proc. E., 1990, 137, (1), pp. 17\u201330","journal-title":"IEE Proc. E."},{"key":"6_CR23","unstructured":"Simpson, H.R.: \u2018Methodological and Notational Conventions in DORIS Real-time Networks', IED Supporting Predictable Implementation of Requirements in Timing and Safety (SPIRITS) Deliverable, 1994"},{"key":"6_CR24","unstructured":"Simpson, H.R.: \u2018Architecture for Computer Based Systems', IEEE Workshop on the Engineering of Computer Based Systems, Stockholm, 1994"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:23:58Z","timestamp":1742599438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}