{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T04:01:30Z","timestamp":1775880090974,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/sysose.2010.5544117","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T16:43:57Z","timestamp":1281458637000},"page":"1-7","source":"Crossref","is-referenced-by-count":7,"title":["System modelling for run-time verification and validation of autonomous systems"],"prefix":"10.1109","author":[{"given":"Glenn","family":"Callow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Kalawsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"raistrick","year":"2004","journal-title":"Model Driven Architecture with Executable UML"},{"key":"ref11","article-title":"PDDL-the Planning Domain Definition Language","author":"ghallab","year":"0","journal-title":"AlPS 1998"},{"key":"ref12","author":"ghallab","year":"2004","journal-title":"Automated Planning Theory and Practice"},{"key":"ref13","article-title":"OMG adopted document ptc\/05-II-0 1","year":"2008","journal-title":"MOF 2 0 Query\/View\/Transformation"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","article-title":"Bidirectional model transformations in QVT: semantic issues and open questions","volume":"9","author":"stevens","year":"2010","journal-title":"Software and Systems Modeling"},{"key":"ref15","first-page":"434","article-title":"On the Use of UML.P for Modeling a Real Application as a Planning Problem","author":"vaquero","year":"2006","journal-title":"Proceedings of Sixteenth ICAPS"},{"key":"ref4","year":"2008","journal-title":"Systems Modeling Language v1 1 OMG"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0116-5"},{"key":"ref6","article-title":"OWL Language Reference","author":"bechhofer","year":"2004","journal-title":"W3C Recommendation"},{"key":"ref5","article-title":"The Architecture Analysis & Design Language (AADL): An Introduction","author":"feiler","year":"2006","journal-title":"Carnegie-Mellon U"},{"key":"ref8","first-page":"249","article-title":"Goal-Oriented Requirements Engineering: A Guided Tour","author":"lamsweerde","year":"2001","journal-title":"Proceedings of the Fifth IEEE International Symposium on Requirements Engineering IEEE"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2007.tb02964.x"},{"key":"ref2","article-title":"A framework for autonomy levels for unmanned systems (ALFUS)","author":"huang","year":"2005","journal-title":"Proceedings of the AUVSI's Unmanned Systems North America"},{"key":"ref1","first-page":"313","article-title":"Metrics, schmetrics! How the heck do you determine a UAV's autonomy anyway?","author":"clough","year":"2002","journal-title":"NIST Special Publication"},{"key":"ref9","author":"miller","year":"2003","journal-title":"MDA Guide vI O I OMG"}],"event":{"name":"2010 5th International Conference on System of Systems Engineering (SoSE)","location":"Loughborough, United Kingdom","start":{"date-parts":[[2010,6,22]]},"end":{"date-parts":[[2010,6,24]]}},"container-title":["2010 5th International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5532086\/5543954\/05544117.pdf?arnumber=5544117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T08:24:20Z","timestamp":1497860660000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5544117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/sysose.2010.5544117","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}