{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:02:21Z","timestamp":1730286141529,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/nssmic.2008.4774651","type":"proceedings-article","created":{"date-parts":[[2009,8,17]],"date-time":"2009-08-17T17:26:55Z","timestamp":1250530015000},"page":"809-816","source":"Crossref","is-referenced-by-count":0,"title":["Towards the application of a model based design methodology for reliable control systems on HEP experiments"],"prefix":"10.1109","author":[{"given":"Bruno","family":"Barroca","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Calado","sequence":"additional","affiliation":[]},{"given":"Matteo","family":"Risoldi","sequence":"additional","affiliation":[]},{"given":"Mihai","family":"Caprini","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Joao","family":"Araujo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S1566-2535(03)00018-6"},{"key":"11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/VLHCC.2007.2","article-title":"a domain specific language and methodology for control systems gui specification, verification and prototyping","volume":"200","author":"risoldi","year":"2007","journal-title":"2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2(07)"},{"journal-title":"A Rapid Prototyping Software Infrastructure for User Interfaces in Ubiquitous Augmented Reality","year":"2005","author":"sandor","key":"12"},{"key":"3","article-title":"(h)all: a dsvl for designing user interfaces for control systems","author":"barroca","year":"2007","journal-title":"Proceedings of the 5th Nordic Workshop on Model Driven Engineering NW-MoDE"},{"journal-title":"ATLAS transformation language","year":"2008","author":"atlas","key":"2"},{"journal-title":"NuSMV A New Symbolic Model Verifier","year":"1999","author":"cimatti","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(99)00014-4"},{"journal-title":"SPIN Model Checker","year":"2003","author":"holzmann","key":"7"},{"key":"6","first-page":"100","article-title":"using meta-modelling and graph grammars to process gpss models","author":"de lara","year":"2002","journal-title":"Proceedings of the 16th European Simulation Multiconference on Modelling and Simulation"},{"journal-title":"Domain-Specific Development with Visual Studio DSL Tools Addison-Wesley Professional","year":"2007","author":"cook","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207702"},{"key":"9","article-title":"eclipse development using the graphical editing framework and the eclipse modeling framework","author":"moore","year":"2004","journal-title":"IBM Redbooks"},{"key":"8","first-page":"19","article-title":"semi-automatic test case generation from co-opn specifications","author":"lucio","year":"2006","journal-title":"Proceedings of the Workshop on ModelBased Testing and Object-Oriented Systems"}],"event":{"name":"2008 IEEE Nuclear Science Symposium and Medical Imaging conference (2008 NSS\/MIC)","start":{"date-parts":[[2008,10,19]]},"location":"Dresden, Germany","end":{"date-parts":[[2008,10,25]]}},"container-title":["2008 IEEE Nuclear Science Symposium Conference Record"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4747668\/4774073\/04774651.pdf?arnumber=4774651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T22:44:18Z","timestamp":1551393858000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4774651\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/nssmic.2008.4774651","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}