{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T23:20:52Z","timestamp":1776381652427,"version":"3.51.2"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542926","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T16:28:31Z","timestamp":1471278511000},"page":"1-6","source":"Crossref","is-referenced-by-count":52,"title":["Formally describing the software architecture of Systems-of-Systems with SosADL"],"prefix":"10.1109","author":[{"given":"Flavio","family":"Oquendo","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"46","year":"2011","journal-title":"Systems and Software Engineering - Architecture Description"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.01.008"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465490"},{"key":"ref13","article-title":"Statistical Model Checking of Architectural and Behavioral Properties of Dynamic Systems","author":"legay","year":"2016","journal-title":"Proc of the 7th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISOLA)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.74"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/986710.986728"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542925"},{"key":"ref4","year":"0"},{"key":"ref3","year":"0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SESoS.2015.10"},{"key":"ref5","first-page":"1","article-title":"Using Wireless Sensor Networks in the Sensor Web for Flood Monitoring in Brazil: Lessons Learned","author":"degrossi","year":"2013","journal-title":"Proc of the 10th International Conference on Information Systems for Crisis Response and Management (ISCRAM)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542939"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695795"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2015.21"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20401-2_20"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.34"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151951"}],"event":{"name":"2016 11th System of Systems Engineering Conference (SoSE)","location":"Kongsberg, Norway","start":{"date-parts":[[2016,6,12]]},"end":{"date-parts":[[2016,6,16]]}},"container-title":["2016 11th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7533679\/7542882\/07542926.pdf?arnumber=7542926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:51:31Z","timestamp":1602672691000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542926"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542926","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}