{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:21Z","timestamp":1725512001544},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_15","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T12:40:01Z","timestamp":1182861601000},"page":"227-243","source":"Crossref","is-referenced-by-count":6,"title":["A Finite State Modeling of AFDX Frame Management Using Spin"],"prefix":"10.1007","author":[{"given":"Indranil","family":"Saha","sequence":"first","affiliation":[]},{"given":"Suman","family":"Roy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Proceedings of 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing","author":"M. Anand","year":"2006","unstructured":"Anand, M., Vestal, S., Dajani-Brown, S., Lee, I.: Formal Modeling and Analysis of the AFDX Frame Management Design. In: Proceedings of 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"15_CR3","unstructured":"ARINC. Specification 664: Aircraft Data Network, Part 7 - Deterministic Networks (Draft 2) (Oct. 10, 2003)"},{"key":"15_CR4","unstructured":"ARINC. Arinc Project Paper 664: Aircraft Data Network, Part 7 - Avionics Full Duplex Switched Ethernet (afdx) Network (2005)"},{"key":"15_CR5","first-page":"423","volume-title":"Proceedings of the FORTE\/PSTV XVIII conference","author":"D. Bo\u0161ana\u010dki","year":"1998","unstructured":"Bo\u0161ana\u010dki, D., Dams, D.: Integrating Real Time into Spin: A Prototype Implementation. In: Proceedings of the FORTE\/PSTV XVIII conference, pp. 423\u2013439. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0055359","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D. Bo\u0161ana\u010dki","year":"1998","unstructured":"Bo\u0161ana\u010dki, D., Dams, D.: Discrete-Time Promela and Spin. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, pp. 307\u2013310. Springer, Heidelberg (1998)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: Semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, Springer, Heidelberg (2004)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Dutertre, B., Sorea, M.: Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol using Calendar Automata. In: Proceedings of FORMATS\/FTRTFT\u201904 (2004)","DOI":"10.1007\/978-3-540-30206-3_15"},{"key":"15_CR10","first-page":"139","volume-title":"Presented at Dependable Computing for Critical Applications\u20135, Champaign, IL.","author":"L. Gong","year":"1999","unstructured":"Gong, L., Lincoln, P., Rushby, J.: Byzantine Agreement with Authentication: Observations and Applications in Tolerating Hybrid and Link Faults. In: Presented at Dependable Computing for Critical Applications\u20135, Champaign, IL., pp. 139\u2013157. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T. Henzinger","year":"1992","unstructured":"Henzinger, T., Manna, Z., Pnueli, A.: What good are digital clocks? Proceedings of the ICALP\u201992. In: Kuich, W. (ed.) Automata, Languages and Programming. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"15_CR12","volume-title":"The SPIN Model Checker, Primer and Reference Manual","author":"G.J. Holtzman","year":"2003","unstructured":"Holtzman, G.J.: The SPIN Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"15_CR13","unstructured":"IEEE. Std.802.3:Information Technology (1998)"},{"key":"15_CR14","volume-title":"Handbook of Applied Cryptography","author":"A.J. Menezes","year":"2001","unstructured":"Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography (Fifth reprint). CRC Press, Boca Raton (2001)"},{"key":"15_CR15","volume-title":"Cryptography: Theory and Practice","author":"D.G. Stinson","year":"2002","unstructured":"Stinson, D.G.: Cryptography: Theory and Practice, 2nd edn. Chapman and Hall, Boca Raton (2002)","edition":"2"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/AUTEST.2003.1243630","volume-title":"Proceedings of IEEE Systems Readiness Technology Conference","author":"K. Bisson","year":"2003","unstructured":"Bisson, K., Troshynski, T.: Switched Ethernet Testing for Avionics Applications. In: Proceedings of IEEE Systems Readiness Technology Conference, pp. 546\u2013550. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Tripakis","year":"1996","unstructured":"Tripakis, S., Courcoubetis, C.: Extending Promela and Spin for Real Time. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T13:14:34Z","timestamp":1550409274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}