{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:17:33Z","timestamp":1762521453580},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T00:00:00Z","timestamp":1314144000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1007\/s10846-011-9618-9","type":"journal-article","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T17:00:47Z","timestamp":1314118847000},"page":"103-114","source":"Crossref","is-referenced-by-count":22,"title":["Model-Based Design, Development and Validation for UAS Critical Software"],"prefix":"10.1007","volume":"65","author":[{"given":"Daniel","family":"Santamar\u00eda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Alarc\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antidio","family":"Viguria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"B\u00e9jar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"An\u00edbal","family":"Ollero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,24]]},"reference":[{"key":"9618_CR1","unstructured":"Bhatt, D., Hall, B., Dajani-Brown, S., Hickman, S., Paulitsch, M.: Model-based development and implications to design assurance and certification. In: The Proceedings of the Digital Avionics Systems Conference (2005)"},{"key":"9618_CR2","doi-asserted-by":"crossref","unstructured":"Kirby, B., Kang, H.: Model based design for power systems protection relays, using matlab & simulink. In: The Proceedings of the IET 9th International Conference on Developments in Power System Protectio (2008)","DOI":"10.1049\/cp:20080116"},{"key":"9618_CR3","doi-asserted-by":"crossref","unstructured":"Ahmadian, M., Nazari, Z.J., Nakbaeet, N., Kostic, Z.: Model based design and SDR. In: The Proceedings of the lEEE\/EURASIP Conference on DSPenbaleRadio (2005)","DOI":"10.1049\/ic:20050389"},{"key":"9618_CR4","unstructured":"Orehek, M., Robl, C.: Model-based design of an ECU with data- and event-driven parts using auto code generation. In: The Proceedings of the International Conference on Robotics and Automation (ICRA) (2001)"},{"key":"9618_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1115\/1.3662552","volume":"82","author":"RE Kalman","year":"1960","unstructured":"Kalman, R.E.: A new approach to linear filtering and prediction problems. J. Basic Eng. 82, 35\u201345 (1960)","journal-title":"J. Basic Eng."},{"key":"9618_CR6","unstructured":"Musial, M., Deeg, C., Remuss, V., Hommel, G.: Orientation sensing for helicopter UAVs under strict resource constraints. In: The First European Micro Air Vehicle Conference and Flight Competition (2004)"},{"key":"9618_CR7","unstructured":"Kondak, K., Bernard, M., Losse, N., Hommel, G.: Elaborated modeling and control for autonomous small size helicopters. ISR\/ROBOTIK (2006)"},{"key":"9618_CR8","unstructured":"Kondak, K., Deeg, C., Hommel, G., Musial, M., Remuss, V.: Mechanical model and control of an autonomous small size helicopter with a stiff main rotor. In: The Proceedings of the International Coference on Intelligent Robots and Systems (IROS) (2004)"},{"key":"9618_CR9","unstructured":"Millar, M.P.: An accurate method of measuring the moments of inertia of airplanes. Langley Memorial Aeronautical Laboratory, naca-tn-35 (1930)"},{"key":"9618_CR10","unstructured":"B\u00e9jar, M.: Methodology and techniques for designing control systems of autonomous helicopters. Ph.D. thesis, University of Seville (2009)"},{"key":"9618_CR11","unstructured":"Object Management Group, Inc., The Unified Modeling Language\u2122 (UML), Needham, MA. http:\/\/www.uml.org\/"},{"key":"9618_CR12","unstructured":"The MathWorks MATLAB\u00ae and Simulink\u00ae. http:\/\/www.mathworks.com"},{"key":"9618_CR13","unstructured":"SCADE Suite\u2122, Esterel Technologies France. http:\/\/www.esterel-technologies.com\/"},{"key":"9618_CR14","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1002\/rob.20383","volume":"28","author":"I Maza","year":"2011","unstructured":"Maza, I., Caballero, F., Capitan, J., Martines-de-Dios, J., Ollero, A.: A distributed architecture for a robotic platform with aerial sensor transportation and self-deployment capabilities. J. Field Robot. 28, 303\u2013328 (2011)","journal-title":"J. Field Robot."},{"key":"9618_CR15","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s10846-009-9352-8","volume":"57","author":"I Maza","year":"2010","unstructured":"Maza, I., Kondak, K., Bernard, M., Ollero, A.: Multi-UAV cooperation and control for load transportation and deployment. J. Intell. Robot. Syst. 57, 417\u2013449 (2010)","journal-title":"J. Intell. Robot. Syst."}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-011-9618-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10846-011-9618-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-011-9618-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T08:53:23Z","timestamp":1560502403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10846-011-9618-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,24]]},"references-count":15,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["9618"],"URL":"https:\/\/doi.org\/10.1007\/s10846-011-9618-9","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,24]]}}}