{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:05:51Z","timestamp":1761487551106},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s11241-006-5318-0","type":"journal-article","created":{"date-parts":[[2006,2,27]],"date-time":"2006-02-27T12:04:15Z","timestamp":1141041855000},"page":"105-123","source":"Crossref","is-referenced-by-count":5,"title":["Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines"],"prefix":"10.1007","volume":"32","author":[{"given":"Angelo","family":"Furfaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pupo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,2,20]]},"reference":[{"key":"5318_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R. and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science, 126(2): 183\u2013235.","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"5318_CR2","unstructured":"Behrmann, G., David, A. and Larsen, K. G. 2004. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, M. Bernardo and F. Corradini (eds.), LNCS 3185, Springer, pp. 200\u2013236."},{"key":"5318_CR3","doi-asserted-by":"crossref","unstructured":"Bengtsson, J. and Yi, W. 2004. Timed automata: Semantics, algorithms and tools. In Lectures on Concurrency and Petri Nets: Advances in Petri Nets, J. Desel, W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer.","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"5318_CR4","doi-asserted-by":"crossref","unstructured":"Burns, A. 2003. How to verify a safe real-time system: The application of model checking and timed automata to the production cell case study. Real-Time Systems, 24(2): 135\u2013151.","DOI":"10.1023\/A:1021758401878"},{"key":"5318_CR5","doi-asserted-by":"crossref","unstructured":"Buttazzo, G. C. 2005. Hard Real-Time Computing Systems, vol. 23 of Real-Time Systems Series, 2nd edition, Springer.","DOI":"10.1007\/0-387-27578-9"},{"key":"5318_CR6","unstructured":"CAN. 1994. A serial bus\u2014Not just for vehicles. In Proc. of 1st Int. CAN Conference (ICC'94)."},{"key":"5318_CR7","unstructured":"Clarke, E. M., Grumberg, O. and Peled, D. A. 2001. Model Checking, MIT Press, Cambrige, MA."},{"key":"5318_CR8","doi-asserted-by":"crossref","unstructured":"Fortino, G. and Nigro, L. 2000. A toolset in Java2 for modeling, prototyping and implementing Communicating Real-Time State Machines. Microprocessors and Microsystems, 23(3): 573\u2013586.","DOI":"10.1016\/S0141-9331(99)00065-4"},{"key":"5318_CR9","unstructured":"Fortino, G., Nigro, L., Pupo, F. and Spezzano, D. 2001. Super actors for real-time. In Proc. of 6th Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01), pp. 142\u2013149."},{"key":"5318_CR10","unstructured":"Furfaro, A. and Nigro, L. 2003. Temporal verification of communicating real-time state machines using Uppaal. In Proc. of International Conference on Industrial Technology (IEEE-ICIT'2003), Maribor, Slovenia, IEEE Computer Society."},{"key":"5318_CR11","unstructured":"Furfaro, A. and Nigro, L. 2005. Model checking hierarchical communicating realtime state machines. In Proc. of 10th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'2005), Catania, Italy, vol. 1, pp. 365\u2013370."},{"key":"5318_CR12","doi-asserted-by":"crossref","unstructured":"Furfaro, A., Nigro, L., and Pupo, F. 2004. Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems, 8(2): 47\u201356.","DOI":"10.1016\/S0141-9331(03)00089-9"},{"key":"5318_CR13","unstructured":"Gamma, E., Helm, R., Johnson, R. and Vlissides, J. 1995. Design Patterns, Addison-Wesley."},{"key":"5318_CR14","unstructured":"Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231\u2013274."},{"key":"5318_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D. and Naamad, A. 1996. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM), 5(4): 293\u2013333.","DOI":"10.1145\/235321.235322"},{"key":"5318_CR16","unstructured":"Harel, D. and Politi, M. 1998. Modeling Reactive Systems with Statecharts, McGraw-Hill."},{"key":"5318_CR17","unstructured":"H\u00e4rtig, H., Hohmuth, M., Liedtke, J., Sch\u00f6nberg, S. and Wolter, J. 1997. The performance of $$\\mu$$ -kernel-based systems. In Proc. of the 16th ACM Symposium on Operating Systems Principles, ACM Press, pp. 66\u201377."},{"key":"5318_CR18","unstructured":"Hoare, C.A.R. 1985. Communicating Sequential Processes, Prentice-Hall International."},{"key":"5318_CR19","doi-asserted-by":"crossref","unstructured":"Jahanian, F. and Mok, A. K. 1986. Safety analysis of timing properties in realtime systems. IEEE Transactions on Software Engineering, 12(9): 890\u2013904.","DOI":"10.1109\/TSE.1986.6313045"},{"key":"5318_CR20","unstructured":"Nigro, L. and Pupo, F. 2001. Schedulability analysis of real-time actor systems using Coloured Petri Nets. In Concurrent Object-Oriented Programming and Petri Nets\u2014Advances in Petri Nets, G. Agha, F. D. Cindio and G. Rozenberg (eds.), LNCS 2001, Springer, pp. 493\u2013513."},{"key":"5318_CR21","unstructured":"Object Management Group. OMG Unified Modeling Language specification, version 1.4. http:\/\/www.rational.com\/uml."},{"key":"5318_CR22","doi-asserted-by":"crossref","unstructured":"Raju, S. C. V. and Shaw, A. C. 1994. A prototyping environment for specifying and checking Communicating Real-time State Machines. Software\u2013Practice and Experience, 24(2): 175\u2013195.","DOI":"10.1002\/spe.4380240203"},{"key":"5318_CR23","unstructured":"RTSJ. 2000. Real-Time Specification for Java. http:\/\/www.rtsj.org\/specjavadoc\/book_index.html."},{"key":"5318_CR24","unstructured":"Selic, B., Gullerkson, G. and Ward, P. T. 1994. Real-Time Object-Oriented Modeling, Wiley Professional Computing, John Wiley and Sons, Inc."},{"key":"5318_CR25","unstructured":"Selic, B. and Rumbaugh, J. 1998. Using UML for modeling complex real-time systems. http:\/\/www-106.ibm.com\/developerworks\/rational\/library\/content\/03July\/1000\/1155\/1155_umlmodeling.pdf."},{"key":"5318_CR26","doi-asserted-by":"crossref","unstructured":"Shaw, A. C. 1992. Communicating real-time state machines. IEEE Transactions on Software Engineering, 18(9): 805\u2013816.","DOI":"10.1109\/32.159840"},{"key":"5318_CR27","unstructured":"Shaw, A. C. 1997. Time-stamped event histories: A real-time programming object. In Proc. of 22nd IFIP\/IFAC Workshop on Real Time Programming (WRTP'97), Lyon, pp. 97\u2013100."},{"key":"5318_CR28","unstructured":"Shaw, A. C. 2001. Real-Time Systems and Software, Wiley."},{"key":"5318_CR29","unstructured":"Shlaer, S. and Mellor, S. 1992. Object Lifecycles \u2013 Modelling the World in States, Yourdon Press, Prentice-Hall International."},{"key":"5318_CR30","unstructured":"Uppaal-on line. 2004. http:\/\/www.uppaal.com."},{"key":"5318_CR31","doi-asserted-by":"crossref","unstructured":"Vlissides, J. M. and Linton, M. A. 1990. Unidraw: A framework for building domain-specific graphical editors. ACM Transactions on Information Systems (TOIS), 8(3): 237\u2013268.","DOI":"10.1145\/98188.98197"},{"key":"5318_CR32","unstructured":"Wellings, A. 2004. Concurrent and Real-time Programming in Java, John Wiley and Sons."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-5318-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-006-5318-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-5318-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:04:27Z","timestamp":1559387067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-006-5318-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["5318"],"URL":"https:\/\/doi.org\/10.1007\/s11241-006-5318-0","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}