{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T00:03:33Z","timestamp":1774051413388,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2003.1213234","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"8","source":"Crossref","is-referenced-by-count":33,"title":["A train control system case study in model-based real time system design"],"prefix":"10.1109","author":[{"given":"A.","family":"Zimmermann","sequence":"first","affiliation":[]},{"given":"G.","family":"Hommel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","year":"1999","journal-title":"ERTMS\/ETCS System Requirements Specification UIC Brussels"},{"key":"ref11","year":"2000","journal-title":"Euroradio FFFIS UIC Brussels"},{"key":"ref12","year":"2000","journal-title":"Performance Requirements for Interoperability UIC Brussels"},{"key":"ref13","year":"1999","journal-title":"ERTMS\/ETCS System Requirements Specification UIC Brussels"},{"key":"ref14","author":"german","year":"2000","journal-title":"Performance Analysis of Communication Systems Modeling with Non-Markovian Stochastic Petri Nets"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"ref16","first-page":"19","article-title":"Measurement and evaluation of the quality of service parameters of the communication system for ERTMS","volume":"94","author":"g\u00f6ller","year":"2002","journal-title":"Signal und Draht"},{"key":"ref17","first-page":"103","article-title":"Technical issues in modelling the european train control system","author":"jansen","year":"1998","journal-title":"Proc 1st CPN Workshop DAIMI PB 532"},{"key":"ref18","first-page":"6","article-title":"Euroradio – communication base system for ETCS","volume":"94","author":"kendelbacher","year":"2002","journal-title":"Signal und Draht"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007907309442"},{"key":"ref4","first-page":"410","article-title":"Formal specification and development of a safety-critical train management system","author":"chiappini","year":"1999","journal-title":"SAFECOMP"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2001.925065"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.489073"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.297939"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011279932612"},{"key":"ref7","first-page":"42","article-title":"GSM-R network for the high-speed line Rome-Naples","volume":"92","author":"coraiola","year":"2000","journal-title":"Signal und Draht"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","article-title":"On Petri nets with deterministic and exponentially distributed firing times","author":"marsan","year":"1987","journal-title":"Advances in Petri Nets 1987"},{"key":"ref9","year":"1998","journal-title":"ERTMS\/ETCS RAMS Requirements Specification UIC Brussels"},{"key":"ref1","author":"marsan","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"ref20","first-page":"1867","article-title":"Modelling and simulation of train control systems using Petri nets","author":"meyer","year":"1999","journal-title":"FM'99 Formal Methods World Congress on Formal Methods in the Development of Computing Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref21","year":"1998","journal-title":"Radio transmission FFFIS for EURORADIO"},{"key":"ref24","first-page":"61","article-title":"GSM-R: Quality of service tests at customer trial sites","volume":"92","author":"schrenk","year":"2000","journal-title":"Signal und Draht"},{"key":"ref23","first-page":"27","article-title":"Performance investigation of arbitrary train control techniques","volume":"94","author":"osburg","year":"2002","journal-title":"Signal und Draht"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-46429-8_14","article-title":"Petri net modelling and performability evaluation with TimeNET 3.0","author":"zimmermann","year":"2000","journal-title":"11th Int Conf on Modelling Techniques and Tools for Computer Performance Evaluation"},{"key":"ref25","first-page":"797","article-title":"Enhancement of the accelerated simulation method RESTART by considering multiple thresholds","author":"villen-altamirano","year":"1994","journal-title":"ITC 14"}],"event":{"name":"International Parallel and Distributed Processing Symposium (IPDPS 2003)","location":"Nice, France","acronym":"IPDPS-03"},"container-title":["Proceedings International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8608\/27277\/01213234.pdf?arnumber=1213234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:26:06Z","timestamp":1497587166000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1213234\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2003.1213234","relation":{},"subject":[]}}