{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:48Z","timestamp":1725473148031},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482659"},{"type":"electronic","value":"9783540482673"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916246_16","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T08:01:36Z","timestamp":1164182496000},"page":"306-325","source":"Crossref","is-referenced-by-count":18,"title":["Formal Analysis of the Operational Concept for the Small Aircraft Transportation System"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"Mu\u00f1oz","sequence":"first","affiliation":[]},{"given":"V\u00edctor","family":"Carre\u00f1o","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Dowek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Abbott, T., Jones, K., Consiglio, M., Williams, D., Adams, C.: Small Aircraft Transportation System, High Volume Operation concept: Normal operations. Technical Report NASA\/TM-2004-213022, NASA Langley Research Center, NASA LaRC Hampton VA 23681-2199, USA (2004)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Baxley, B., Williams, D., Consiglio, M., Adams, C., Abbott, T.: The Small Aircraft Transportation System (SATS), Higher Volume Operations (HVO) off-nominal operations. In: Proceedings of the AIAA 5th Aviation, Technology, Integration, and Operations Conference, AIAA-2005-7461, Arlington, Virginia (2005)","DOI":"10.2514\/6.2005-7461"},{"issue":"7","key":"16_CR3","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.: Model checking large software specifications. IEEE Transactions on Software Engineering\u00a024(7), 498\u2013520 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Consiglio, M., Carre\u00f1o, V., Williams, D., Mu\u00f1oz, C.: Conflict prevention and separation assurance method in the Small Aircraft Transportation System. In: Proceedings of the AIAA 5th Aviation, Technology, Integration, and Operations Conference, AIAA-2005-7463, Arlington, Virginia (2005)","DOI":"10.2514\/6.2005-7463"},{"key":"16_CR5","unstructured":"Dowek, G., Mu\u00f1oz, C., Carre\u00f1o, V.: Abstract model of the SATS concept of operations: Initial results and recommendations. Technical Report NASA\/TM-2004-213006, NASA Langley Research Center, NASA LaRC,Hampton VA 23681-2199, USA (2004)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T. Henzinger","year":"1997","unstructured":"Henzinger, T., Ho, P.-H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer\u00a01, 110\u2013122 (1997)","journal-title":"Software Tools for Technology Transfer"},{"issue":"9","key":"16_CR7","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N. Leveson","year":"1994","unstructured":"Leveson, N., Heimdahl, M., Hildreth, H., Reese, J.: Requirements specification for process-control systems. IEEE Transactions on Software Engineering\u00a020(9), 684\u2013707 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR8","unstructured":"Maddalon, J., Butler, R., Geser, A., Mu\u00f1oz, C.: Formal verification of a conflict resolution and recovery algorithm. Technical Report NASA\/TP-2004-213015, NASA Langley Research Center, NASA LaRC,Hampton VA 23681-2199, USA (April 2004)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Massink, M., De Francesco, N.: Modelling free flight with collision avoidance. In: Proceedings 7th IEEE International Conference on Engineering of Complex Computer Systems, pp. 270\u2013280 (2001)","DOI":"10.1109\/ICECCS.2001.930186"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10009-002-0084-3","volume":"4","author":"C. Mu\u00f1oz","year":"2003","unstructured":"Mu\u00f1oz, C., Carre\u00f1o, V., Dowek, G., Butler, R.W.: Formal verification of conflict detection algorithms. International Journal on Software Tools for Technology Transfer\u00a04(3), 371\u2013380 (2003)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1013886.1007536","volume":"29","author":"C. Mu\u00f1oz","year":"2004","unstructured":"Mu\u00f1oz, C., Dowek, G., Carre\u00f1o, V.: Modeling and verification of an air traffic concept of operations. Software Engineering Notes\u00a029(4), 175\u2013182 (2004)","journal-title":"Software Engineering Notes"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)"},{"issue":"6","key":"16_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.entcs.2005.04.011","volume":"128","author":"R. Siminiceanu","year":"2005","unstructured":"Siminiceanu, R., Ciardo, G.: Formal verification of the NASA runway safety monitor. Electronic Notes Theoretical Computer Science\u00a0128(6), 179\u2013194 (2005)","journal-title":"Electronic Notes Theoretical Computer Science"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Yates, R., Andrews, J., Gray, P.: Practical experience applying formal methods to air traffic management software. In: Proceedings of the 8th Annual International Symposium of the International Council on Systems Engineering, Vancouver, Canada (1998)","DOI":"10.1002\/j.2334-5837.1998.tb00055.x"}],"container-title":["Lecture Notes in Computer Science","Rigorous Development of Complex Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916246_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:42:15Z","timestamp":1619509335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916246_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482659","9783540482673"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11916246_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}