{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:45:46Z","timestamp":1729647946370,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sees.2012.6225484","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:25:33Z","timestamp":1341854733000},"page":"16-22","source":"Crossref","is-referenced-by-count":3,"title":["A comparison of executable model based approaches for embedded systems"],"prefix":"10.1109","author":[{"given":"Julie Street","family":"Fant","sequence":"first","affiliation":[]},{"given":"Hassan","family":"Gomaa","sequence":"additional","affiliation":[]},{"given":"Robert G.","family":"Pettit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355383"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0042-8"},{"journal-title":"\"StateWizard A ClassWizard-like Dynamic Modeling\/ developmentframework and Tool \" [Online]","year":"0","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/48529.48534"},{"journal-title":"Doing Hard Time Using Object Oriented Programming and Software Patterns in Real Time Applications","year":"1999","author":"douglass","key":"14"},{"journal-title":"Real-Time Object-Oriented Modeling","year":"1994","author":"selic","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493420"},{"key":"21","volume":"1 3","author":"jensen","year":"1997","journal-title":"Colored Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"journal-title":"Kommunikation mit Automaten","year":"1962","author":"petri","key":"20"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1995","author":"gamma","key":"22"},{"journal-title":"UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE) Beta2","year":"2008","key":"23"},{"key":"24","article-title":"An Approach to Performance Modeling of Software Product Lines","author":"street","year":"0","journal-title":"Modeling and Analysis of Real-Time and Embedded Systems (MARTES''06) Genova Italy 2006"},{"key":"25","article-title":"Modeling State-Dependent Objects using Colored Petri Nets","author":"pettit iv","year":"0","journal-title":"MOCA '01 Aarhus Denmark 2001"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"2004","author":"rumbaugh","key":"26"},{"journal-title":"\"CPN Tools Homepage \" [Online]","year":"0","key":"27"},{"key":"28","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer"},{"journal-title":"\"Petri Nets World Petri Nets Tools Database Quick Overview \" [Online]","year":"0","key":"29"},{"key":"3","article-title":"Modeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets","author":"pettit iv","year":"0","journal-title":"4th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES MB 2011) Wellington New Zealand 2011"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1986026"},{"key":"1","first-page":"129","article-title":"real-time software modelling using statecharts and timed automata approaches","author":"naughton","year":"2006","journal-title":"2006 IET Irish Signals and Systems Conference IET"},{"journal-title":"\"IBM Software - Rational Rhapsody \" [Online]","year":"0","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511779183"},{"journal-title":"Designing Concurrent Distributed and Real-Time Applications with UML","year":"2000","author":"gomaa","key":"6"},{"journal-title":"\"QP State Machine Frameworks for Embedded Systems by Quantum Leaps \" [Online]","year":"0","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134315"},{"journal-title":"\"Stateflow - State Chart Design and Development Environment- Simulink \" [Online]","year":"0","key":"31"},{"journal-title":"Analyzing Dynamic Behavior of Concurrent Object-oriented Software Designs","year":"2003","author":"pettit iv","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1986026"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.39"}],"event":{"name":"2012 2nd International Workshop on Software Engineering for Embedded Systems (SEES)","start":{"date-parts":[[2012,6,9]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220313\/6225480\/06225484.pdf?arnumber=6225484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:08:02Z","timestamp":1497978482000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6225484\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/sees.2012.6225484","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}