{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:39:20Z","timestamp":1729618760397,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/snpd.2015.7176271","type":"proceedings-article","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T22:38:15Z","timestamp":1439419095000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Formal verification of internal block diagram of SysML for modeling real-time system"],"prefix":"10.1109","author":[{"given":"Sajjad","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Abdul","family":"Basit-Ur-Rahim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fahim","family":"Arif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1653","article-title":"Function block diagram to UPPAAL timed automata transformation based on formal models","volume":"14","author":"soliman","year":"2012","journal-title":"Information Control Problems in Manufacturing"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.10"},{"key":"ref12","first-page":"206","article-title":"Verification method for the FBD-style design specification using SDT and SMV","author":"song","year":"2004","journal-title":"IASTED Conf on Software Engineering"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.10.064"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2013.11.016"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_18"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SoMeT.2013.6645657"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.22"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2014.6933529"},{"journal-title":"A Practical Guide to SysML The Systems Modeling Language","year":"2014","author":"friedenthal","key":"ref19"},{"key":"ref4","article-title":"Quantitative Verification: Formal Guarantees for Timeliness","author":"norman","year":"2014","journal-title":"Reliability and Performance"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15228-3"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref6"},{"journal-title":"The Art of Software Testing","year":"2011","author":"myers","key":"ref5"},{"journal-title":"Formal verification at system level DAta Systems in Aerospace (DASIA)","year":"2009","author":"mazzini","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2012.99.106"},{"journal-title":"OMG Unified Modeling Language Superstructure 2 1 2","year":"2007","key":"ref2"},{"journal-title":"OMG Systems Modeling Language (OMG SysML™)","year":"2012","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Computer Aided Verification"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"PRISM: A tool for automatic verification of probabilistic systems","author":"hinton","year":"2006","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.030"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0005-2"}],"event":{"name":"2015 IEEE\/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)","start":{"date-parts":[[2015,6,1]]},"location":"Takamatsu","end":{"date-parts":[[2015,6,3]]}},"container-title":["2015 IEEE\/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7159154\/7176160\/07176271.pdf?arnumber=7176271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T17:31:39Z","timestamp":1498239099000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7176271\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/snpd.2015.7176271","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}