{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:47:12Z","timestamp":1725500832708},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sysose.2006.1652306","type":"proceedings-article","created":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T19:17:51Z","timestamp":1153509471000},"page":"246-250","source":"Crossref","is-referenced-by-count":0,"title":["Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive Systems"],"prefix":"10.1109","author":[{"given":"H.","family":"Tummala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Auguston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.B.","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.-T.","family":"Shing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Little","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Pace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"NASA Technical Standard NASA-STD-8719 13A","year":"1997","key":"3"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083284"},{"journal-title":"OMNeT++ Discrete Event Simulation System","year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/122193.122198"}],"event":{"name":"2006 IEEE\/SMC International Conference on System of Systems Engineering","location":"Los Angeles, California, USA"},"container-title":["2006 IEEE\/SMC International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10995\/34635\/01652306.pdf?arnumber=1652306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T20:13:38Z","timestamp":1489608818000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1652306\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/sysose.2006.1652306","relation":{},"subject":[]}}