{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:53:49Z","timestamp":1743047629137,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642880513"},{"type":"electronic","value":"9783642880490"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-88049-0_16","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T16:35:39Z","timestamp":1386606939000},"page":"325-345","source":"Crossref","is-referenced-by-count":0,"title":["Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Cantone","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Hard Real-Time System Implementation on a Microcontroller","author":"C Andre","year":"1992","unstructured":"C. Andre, M. Peraldi, Hard Real-Time System Implementation on a Microcontroller, Proc. of IFAC-IFIP Int. Workshop Real-Time Programming, Bruges, Belgium, June 1992."},{"key":"16_CR2","unstructured":"L. Bic, A.C. Shaw, Logical Design of Operating Systems, Prentice Hall, 1988."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"V.R. Basili, G. Caldiera, and G. Cantone, A Reference Architecture for the Component Factory, ACM-TOSEM, Vol. 1, No. 1, 1992.","DOI":"10.1145\/125489.122823"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"G. Bruno, M. Marchetto, Process-translable Petri Nets for the Rapid Prototyping of Process Control Systems, IEEE-TSE, Vol. 12, No. 2, 1986.","DOI":"10.1109\/TSE.1986.6312948"},{"key":"16_CR5","volume-title":"Predicting Timeliness of Distributed Processes, Technical Report RI-90","author":"G Cantone","year":"1990","unstructured":"G. Cantone, Predicting Timeliness of Distributed Processes, Technical Report RI-90. 12, DIE-University of Rome at Tor Vergata, Italy, December 1990."},{"key":"16_CR6","volume-title":"Reusing Temporal Properties of Real-Time Software`, Proc.s of the 3rd Iee Int","author":"G Cantone","year":"1991","unstructured":"G. Cantone, Reusing Temporal Properties of Real-Time Software, Proc.s of the 3rd IEE Int. Conf. on Software Engineering for Real-Time Systems, Cirencester, UK, September 1991."},{"key":"16_CR7","volume-title":"Reasoning about Time Properties and Simulation of Hard Real-Time Distributed Dynamic Processes, Technical Report RI-92","author":"G Cantone","year":"1992","unstructured":"G. Cantone, Reasoning about Time Properties and Simulation of Hard Real-Time Distributed Dynamic Processes, Technical Report RI-92. 08, DIE-University of Rome at Tor Vergata, Italy, October 1992."},{"key":"16_CR8","volume-title":"A Method for Computing Hol Sw Time Response and its Validation","author":"G Cantone","year":"1991","unstructured":"G. Cantone, E. Ciancamerla, M. Minichino, A Method for Computing HOL SW Time Response and its Validation, Proc. of IFAC\/IFIP SAFECOMPO91 Symposium, Trondeim, Norway, October 1991."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"G. Cantone, B. Ciciani, Inserting State Restoration Requests in Systems of Distributed Processes, Microprocessing and Microprogramming, Vol. 19, No. 1\u20135, December 1987.","DOI":"10.1016\/0165-6074(87)90081-0"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"B. Ciciani, G. Cantone, Comments on \u201cDesign and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery Blocks\u201d, IEEE TOC, Vol. 38, No. 9, 1989.","DOI":"10.1109\/12.29476"},{"key":"16_CR11","volume-title":"An Initial Approach to Response Time Verification of Critical Programs","author":"G Cantone","year":"1987","unstructured":"G. Cantone, A. Esposito, An Initial Approach to Response Time Verification of Critical Programs, Proc. of CSCI-CNR Int. Conf. on Massively Parallel Systems, Naples, Italy, December 1987."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"G. Cantone, A. Esposito, A D-Graph based Approach for Verifying Response Times of Critical Programs, Microprocessing and Microprogramming, Vol. 27, No. 1\u20135, 1989.","DOI":"10.1016\/0165-6074(89)90104-X"},{"key":"16_CR13","volume-title":"A Reuse Based Environment to Develop and Verify Hard Real-Time Distributed Applications","author":"G Cantone","year":"1991","unstructured":"G. Cantone, F.S. Gragnani, A Reuse Based Environment to Develop and Verify Hard Real-Time Distributed Applications, Proc. of the 2nd Eurospace Int. Symposium \u201cAda in Aerospace\u201d, Rome, Italy, November 1991."},{"key":"16_CR14","unstructured":"G. Cantone, F.S. Gragnani, Software Methods for the Assessment of the Temporal Behaviours of Programs and Fragments. An Approach Based on the Theory of Measurement Errors, TR-92. 09, DIE-URMTV, University of Rome at Tor Vergata, Italy, October 1992."},{"key":"16_CR15","volume-title":"Temporal Properties of Ada Critical Applications","author":"G Cantone","year":"1991","unstructured":"G. Cantone, C. Iapicca, Temporal Properties of Ada Critical Applications, Proc. of the 1st Eurospace Int. Symposium on \u201cAda in Aerospace\u201d. Barcelona, Spain, January 1991."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"F. Fuggetta, C. Ghezzi, D. Mandrioli, Some Consideration on Real-Time Behavior of Programs, IEEE-TSE, Vol. 15, No. 3, 1989.","DOI":"10.1109\/32.21763"},{"key":"16_CR17","unstructured":"M. Felder, D. Mandrioli, A. Morzenti, Proving Properties of Real-Time Systems trough Logical Specifications and Petri Net Models, Rep. No. 91\u2013072, DIEIPolitecnico di Milano, Italy, 1991."},{"key":"16_CR18","unstructured":"G. Forte, Tools Fair: Out of the Lab, Onto the Shelf, IEEE Software, May, 1992."},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0165-6074(83)90185-0","volume":"12","author":"WA Halang","year":"1983","unstructured":"W.A. Halang, On Real-Time Features Available in High-Level Languages and Yet to be Implemented, Microprocessing and Microprogramming, Vol. 12, 1983, 79\u201387.","journal-title":"Microprocessing and Microprogramming"},{"key":"16_CR20","unstructured":"W.A. Halang, Predictable HRT Software, Proc. of the 1st Euromicro RT Workshop, Como, Italy, September 1989."},{"key":"16_CR21","doi-asserted-by":"crossref","DOI":"10.21236\/ADA326062","volume-title":"An Interleaving Model for Real Time, Proc. of Jerusalem Conf. on Information Technology","author":"TA Henzinger","year":"1990","unstructured":"T.A. Henzinger, Z. Manna, A. Pnueli, An Interleaving Model for Real Time, Proc. of Jerusalem Conf. on Information Technology, Jerusalem, Israel, October 1990."},{"key":"16_CR22","unstructured":"W.A. Halang, A.D. Stoyenko, Real Time Systems, Kluwer Acad. Press, 1991."},{"key":"16_CR23","volume-title":"Occam 2 Reference","author":"IM Limited","year":"1988","unstructured":"INMOS Limited, Occam 2 Reference Manual, Prentice-Hall Int, Hertfordshire, UK, 1988."},{"key":"16_CR24","volume-title":"The Transputer Application Notebook","author":"IM Limited","year":"1989","unstructured":"INMOS Limited, The Transputer Application Notebook, Redwood Burn Ltd., Trowbridge, UK, 1989."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"F. Jahanian, A.K. Mok, A Graph Theoretic Approach for Timing Analysis and its Implementation, IEEE-TC, Vol. 36, No 8, 1987.","DOI":"10.1109\/TC.1987.5009519"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"H. Kopetz, R. Zainlinger, G. Fahler, H. Kantz, P. Puschner, W. Shutz, An Engineering Approach Towards Hard Real-Time System Design, Proc. of ECSE \u201881, Milano, Italy, LNCS 550, Springer Verlag, 1991.","DOI":"10.1007\/3540547428_48"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"E. Kligerman, A.D. Stoyenko, Real-time Euclid: A Language for Reliable Real-Time Systems, IEEE TSE, Vol. 12, No. 9, 1986.","DOI":"10.1109\/TSE.1986.6313049"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"D. Mandrioli, R. Zicari, C. Ghezzi, F. Tisato, Modeling an Ada Task System by Petri Nets. Computer Languages, Vol. 10, No. 1, 1985.","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"T. Murata, Petri Nets: Properties, Analysis and Applications, Proc. of the IEEE, Vol. 77, No. 4, 1989.","DOI":"10.1109\/5.24143"},{"key":"16_CR30","unstructured":"J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981."},{"key":"16_CR31","volume-title":"Calculating the Maximum Execution Time of Real-Time Programs","author":"P Puchner","year":"1989","unstructured":"P. Puchner, C. Koza, Calculating the Maximum Execution Time of Real-Time Programs, Real-Time Systems, Vol. 1, No. 3, Kluwer Acad. Press, 1989."},{"key":"16_CR32","unstructured":"A. Pnueli, Specification and Development of Reactive Systems, Information processing 86, H. Kugher (Ed.), 1986."},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"A.A. Rizzi, L.L. Witcomb, D.E. Koditschek, Distributed Real-Time Control of Spatial Robot Juggler, Computer, May 1992.","DOI":"10.1109\/2.144392"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"A.C. Shaw, Reasoning about Time in Higher Level Language Software, IEEETSE, Vol. 15, No. 7, 1989.","DOI":"10.1109\/32.29487"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"A.D. Stoyenko, V.C. Hamacher, R.C. Holt, Analyzing Hard-Real-Time Programs For Guaranteed Schedulability, IEE TSE, Vol. 17, No. 8, 1991.","DOI":"10.1109\/32.83911"},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"J.A. Stankovich, K. Ramamritham, What is Predictability for Real-Time Systems?, Real-Time Systems, Vol. 2, No. 2, 1990.","DOI":"10.1007\/BF01995673"},{"key":"16_CR37","unstructured":"J.A. Stankovich, Real-Time Computing Systems: The Next Generation, TR 8806, Dep. of COINS, Univ. of Massachusetts, January 1988."},{"key":"16_CR38","volume-title":"Misconceptions about Real-Time Computing","author":"JA Stankovich","year":"1988","unstructured":"J.A. Stankovich, Misconceptions about Real-Time Computing, IEEE Computer, October 1988."},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"A.D. Stoyenko, Analyzing PEARL Programs for Timely Executability and Schedulability, Unpubl. Rep. UCLA, April 1990.","DOI":"10.1007\/978-3-642-76501-8_8"},{"key":"16_CR40","doi-asserted-by":"crossref","unstructured":"R.K. Shyamasundar, L. Yuhsiang, Static Analysis of Real-Time Distributed Systems, IEEE-TSE, Vol. 16, No 4, 1990.","DOI":"10.1109\/32.54290"},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"R.N. Taylor, Steps to an Advanced Ada Programming Environments, IEEETSE, Vol. 11, No. 3, 1985.","DOI":"10.1109\/TSE.1985.232213"}],"container-title":["NATO ASI Series","Real Time Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-88049-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,26]],"date-time":"2024-01-26T07:22:02Z","timestamp":1706253722000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-88049-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642880513","9783642880490"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-88049-0_16","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}