{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:17:35Z","timestamp":1648585055649},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T00:00:00Z","timestamp":1590796800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T00:00:00Z","timestamp":1590796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11334-020-00365-4","type":"journal-article","created":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T15:02:30Z","timestamp":1590850950000},"page":"99-100","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preface to the VECoS 2018 special issue of ISSE"],"prefix":"10.1007","volume":"16","author":[{"given":"Mohamed Faouzi","family":"Atig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,30]]},"reference":[{"key":"365_CR1","doi-asserted-by":"publisher","unstructured":"Given-Wilson T, Jafri N, Legay A (2020) Combined software and hardware fault injection vulnerability detection. Innov Syst Softw Eng 16(2\/3). https:\/\/doi.org\/10.1007\/s11334-020-00364-5","DOI":"10.1007\/s11334-020-00364-5"},{"key":"365_CR2","doi-asserted-by":"publisher","unstructured":"Dague P, He L, Ye L (2020) How to be sure a faulty system does not always appear healthy? Fault manifestability analysis for discrete event and timed systems. Innov Syst Softw Eng 16(2\/3). https:\/\/doi.org\/10.1007\/s11334-019-00357-z","DOI":"10.1007\/s11334-019-00357-z"},{"key":"365_CR3","doi-asserted-by":"publisher","unstructured":"Renault E (2020) Improving swarming using genetic algorithms. Innov Syst Softw Eng 16(2\/3). https:\/\/doi.org\/10.1007\/s11334-020-00362-7","DOI":"10.1007\/s11334-020-00362-7"},{"key":"365_CR4","doi-asserted-by":"publisher","unstructured":"Pommellet A, Touili T (2020) LTL model checking for communicating concurrent programs. Innov Syst Softw Eng 16(2\/3). https:\/\/doi.org\/10.1007\/s11334-020-00363-6","DOI":"10.1007\/s11334-020-00363-6"},{"key":"365_CR5","doi-asserted-by":"crossref","unstructured":"Barkaoui K, Boucheneb H, Li Z (2020) Exploiting local persistency for reduced state space generation. Innov Syst Softw Eng 16(2\/3)","DOI":"10.1007\/s11334-020-00358-3"},{"key":"365_CR6","doi-asserted-by":"publisher","unstructured":"Basile D, ter Beek M H, Legay A (2020) Timed service contract automata. Innov Syst Softw Eng 16(2\/3). https:\/\/doi.org\/10.1007\/s11334-019-00353-3","DOI":"10.1007\/s11334-019-00353-3"},{"key":"365_CR7","doi-asserted-by":"publisher","unstructured":"Carnevali L, Fantechi A, Gori G, Vicario E (2020) Stochastic modeling and analysis of road-tramway intersections. Innov Syst Softw Eng 16(2\/3). https:\/\/doi.org\/10.1007\/s11334-019-00355-1","DOI":"10.1007\/s11334-019-00355-1"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-020-00365-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-020-00365-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-020-00365-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:21:54Z","timestamp":1622334114000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-020-00365-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,30]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["365"],"URL":"https:\/\/doi.org\/10.1007\/s11334-020-00365-4","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,30]]},"assertion":[{"value":"30 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}