{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T12:14:18Z","timestamp":1790511258119,"version":"4.1.0"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/tii.2008.2008998","type":"journal-article","created":{"date-parts":[[2008,12,4]],"date-time":"2008-12-04T16:14:08Z","timestamp":1228407248000},"page":"280-291","source":"Crossref","is-referenced-by-count":24,"title":["Formal Methods for Systems Engineering Behavior Models"],"prefix":"10.1109","volume":"4","author":[{"given":"C.","family":"Seidner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O.H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref11","author":"henzinger","year":"1992","journal-title":"Real Time Theory in Practice"},{"key":"ref12","first-page":"265","article-title":"Dependability analysis in the early phases of UML based system design","volume":"16","author":"bondavalli","year":"2001","journal-title":"J Comput Syst Sci Eng"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217012"},{"key":"ref14","year":"2007","journal-title":"OMG Systems Modeling Language (OMG SysML ? ) Specification?Proposed Available Specification"},{"key":"ref15","article-title":"SysML and systems engineering applied to UML-based SoC design","author":"vandeperren","year":"2005","journal-title":"Proc 2nd UML-SoC Workshop at 42nd Design Automation Conf"},{"key":"ref16","year":"2004","journal-title":"Architecture Analysis & Design Language (AADL) ? SAE AS 5506"},{"key":"ref17","article-title":"System dependability evaluation using AADL (Architecture analysis and design language)","author":"rugina","year":"2005","journal-title":"Rencontres Jeunes Chercheurs en Informatique Temps-R\ufffdel (RJCITR)"},{"key":"ref18","author":"herzog","year":"2004","journal-title":"An approach to systems engineering tools data representation and exchange"},{"key":"ref19","author":"seidner","year":"2007","journal-title":"On the Formal Verification of EFFBD Models Using a Structural Translation to Time Petri Nets"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"ref3","year":"2004","journal-title":"Systems Engineering Handbook A ?What to? Guide for All SE Practitioners"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1002\/j.2334-5837.1995.tb01965.x","article-title":"Relationships between common graphical representations in systems engineering","author":"long","year":"1995","journal-title":"Proc 5th Int Symp INCOSE"},{"key":"ref5","year":"1968","journal-title":"MIL-STD-499 Functional Flow Diagrams"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_41"},{"key":"ref7","author":"merlin","year":"1974","journal-title":"A study of recoverability of computing systems"},{"key":"ref2","year":"1994","journal-title":"IEEE-1220 Application & Management of Systems Engineering Process"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2007.tb02917.x"},{"key":"ref1","year":"2004","journal-title":"What is Systems Engineering?"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"},{"key":"ref22","first-page":"41","article-title":"An enumerative approach for analyzing time Petri nets","volume":"9","author":"berthomieu","year":"1983","journal-title":"Proc IFIP Congr Series"},{"key":"ref21","volume":"3707","author":"b\ufffdrard","year":"2005","journal-title":"Automated Technology for Verification and Analysis (ATVA'05)"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","article-title":"Structural translation from time Petri nets to timed automata?Model-checking time Petri nets via timed automata","volume":"79","author":"cassez","year":"2006","journal-title":"J Syst Softw"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1002\/j.2334-5837.2008.tb00877.x","article-title":"Usability and usefulness of formal verification in a system design process","author":"seidner","year":"2008","journal-title":"Proc 18th Int Symp INCOSE"},{"key":"ref25","author":"gardey","year":"2006","journal-title":"Contribution \ufffd la V\ufffdrification et au Contr\ufffdle des Syst\ufffdmes Temps R\ufffdel?Application Aux R\ufffdseaux de Petri Temporels et Aux Automates Temporis\ufffds"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/4753889\/04689308.pdf?arnumber=4689308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T13:29:50Z","timestamp":1640266190000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4689308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":26,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tii.2008.2008998","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11]]}}}