{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:08:26Z","timestamp":1736658506791,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472377"},{"type":"electronic","value":"9783540472384"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901914_33","type":"book-chapter","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T05:21:43Z","timestamp":1160457703000},"page":"446-460","source":"Crossref","is-referenced-by-count":3,"title":["Functional Analysis of a Real-Time Protocol for Networked Control Systems"],"prefix":"10.1007","author":[{"given":"Colin","family":"Fidge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu-Chu","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/CDC.2005.1582201","volume-title":"Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference (CDC-ECC 2005)","author":"M. Andersson","year":"2005","unstructured":"Andersson, M., Henriksson, D., Cervin, A., \u00c5rz\u00e9n, K.-E.: Simulation of wireless networked control systems. In: Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference (CDC-ECC 2005), pp. 476\u2013481. IEEE, Los Alamitos (2005)"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_1","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"G. Behrmann","year":"2002","unstructured":"Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Petterson, P., Yi, W.: Uppaal implementation secrets. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, Springer, Heidelberg (2002)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. Technical report, Department of Computer Science, Aalborg University (November 2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"33_CR4","series-title":"Tutorial Guides in Electronic Enginering","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-7224-8","volume-title":"Control Engineering","author":"C.C. Bissell","year":"1994","unstructured":"Bissell, C.C.: Control Engineering, 2nd edn. Tutorial Guides in Electronic Enginering, vol.\u00a015. Chapman and Hall, Boca Raton (1994)","edition":"2"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Brinksma, E., Mader, A.: Model checking embedded system designs. In: Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES 2002) Extended Abstract (October 2002)","DOI":"10.1109\/WODES.2002.1167682"},{"key":"33_CR6","volume-title":"Handbook of Automated Reasoning","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Schlingloff, B.-H.: Model checking. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, Elsevier, Amsterdam (1999)"},{"key":"33_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_11","volume-title":"Automated Technology for Verification and Analysis","author":"A. Dubey","year":"2005","unstructured":"Dubey, A., Wu, X., Su, H., Koo, T.J.: Computation platform for automatic analysis of embedded software systems using model based approach. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, Springer, Heidelberg (2005)"},{"key":"33_CR8","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/APSEC.2005.80","volume-title":"Proceedings of the Twelfth Asia-Pacific Software Engineering Conference (APSEC 2005)","author":"C.J. Fidge","year":"2005","unstructured":"Fidge, C.J., Cook, P.: Model checking interrupt-dependent software. In: Proceedings of the Twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 51\u201358. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"33_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning About Systems","author":"M. Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems, 2nd edn. Cambridge University Press, Cambridge (2004)","edition":"2"},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/EMRTS.2000.854002","volume-title":"Twelfth EuroMicro Conference on Real-Time Systems (ECRTS 2000)","author":"T.K. Iversen","year":"2000","unstructured":"Iversen, T.K., Kristoffersen, K.J., Larsen, K.G., Laursen, M., Madsen, R.G., Mortensen, S.K., Pettersson, P., Thomasen, C.B.: Model-checking real-time control programs: Verifying lego mindstorms systems using uppaal. In: Toetenel, H. (ed.) Twelfth EuroMicro Conference on Real-Time Systems (ECRTS 2000), pp. 147\u2013156. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Mart\u00ed, P., Fuertes, J.M., Fohler, G.: An integrated approach to real-time distributed control systems over fieldbuses. In: Eighth IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001), pp. 177\u2013182 (2001)","DOI":"10.1109\/ETFA.2001.996367"},{"key":"33_CR12","volume-title":"The Industrial Information Technology Handbook","author":"P. Mart\u00ed","year":"2005","unstructured":"Mart\u00ed, P., Vill\u00e1, R., Fuertes, J.M., Fohler, G.: Networked control systems overview. In: Zurawski, R. (ed.) The Industrial Information Technology Handbook, CRC Press, Boca Raton (2005)"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Tian, Y.-C., Han, Q.-L., Fidge, C.J., Tad\u00e9, M., Gu, T.: Communication architecture design for real-time networked control systems. In: Proceedings of the Fourth IEEE International Conference on Communications, Circuits and Systems (ICCCAS 2006), pp. 1840\u20131845 (2006)","DOI":"10.1109\/ICCCAS.2006.285031"},{"key":"33_CR14","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/WCICA.2006.1712301","volume-title":"Proceedings of the Sixth World Congress on Intelligent Control and Automation (WCICA 2006)","author":"Y.-C. Tian","year":"2006","unstructured":"Tian, Y.-C., Levy, D., Tad\u00e9, M., Gu, T., Fidge, C.J.: Queuing packets in communication networks for networked control systems. In: Proceedings of the Sixth World Congress on Intelligent Control and Automation (WCICA 2006), pp. 205\u2013209. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"33_CR15","first-page":"533","volume-title":"Proceedings of the Thirteenth IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005)","author":"T. Watteyne","year":"2005","unstructured":"Watteyne, T., Aug\u00e9-Blum, I., Ub\u00e9da, S.: Proposition of a hard real-time MAC protocol for wireless sensor networks. In: Proceedings of the Thirteenth IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), pp. 533\u2013536. IEEE Computer Society Press, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901914_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T09:47:36Z","timestamp":1736588856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901914_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472377","9783540472384"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11901914_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}