{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:18:15Z","timestamp":1742393895633,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686217"},{"type":"electronic","value":"9783540686248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68624-8_7","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T09:52:09Z","timestamp":1213091529000},"page":"87-100","source":"Crossref","is-referenced-by-count":6,"title":["A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Grassi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"RTCA (Radio Technical Commission for Aeronautics). Do-178b, software considerations in airborne systems and equipment certification, http:\/\/www.rtca.org\/"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-24617-6_9","volume-title":"Formal Approaches to Software Testing","author":"A. Hessel","year":"2004","unstructured":"Hessel, A., Larsen, K., Nielsen, B., Pettersson, P., Skou, A.: Time-Optimal Real-Time Test Case Generation Using Uppaal. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 114\u2013130. Springer, Heidelberg (2004)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing (2005)","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M. Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-Box Conformance Testing for Real-Time Systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G. Bucci","year":"2004","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Timed state space analysis of real time preemptive systems. IEEE Trans.on Soft.Eng.\u00a030(2), 97\u2013111 (2004)","journal-title":"IEEE Trans.on Soft.Eng."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-27793-4_21","volume-title":"Applications and Theory of Petri Nets 2004","author":"O.H. Roux","year":"2004","unstructured":"Roux, O.H., Lime, D.: Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 371\u2013390. Springer, Heidelberg (2004)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2000 - Concurrency Theory","author":"K.G. Larsen","year":"2000","unstructured":"Larsen, K.G., Cassez, F.: The Impressive Power of Stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877. Springer, Heidelberg (2000)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Modeling flexible real time systems with preemptive time petri nets. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003) (2003)","DOI":"10.1109\/EMRTS.2003.1212753"},{"key":"7_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard Real-Time Computing Systems","author":"G. Buttazzo","year":"2005","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems. Springer, Heidelberg (2005)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Merlin, P., Farber, D.J.: Recoverability of communication protocols. IEEE Trans.on Communications\u00a024(9) (1976)","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng.\u00a017(3) (1991)","DOI":"10.1109\/32.75415"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-540-27793-4_4","volume-title":"Applications and Theory of Petri Nets 2004","author":"W. Penczek","year":"2004","unstructured":"Penczek, W., P\u00f3\u0142rola, A.: Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 37\u201376. Springer, Heidelberg (2004)"},{"key":"7_CR13","unstructured":"Berthomieu, B., Menasche, M.: An enumerative approach for analyzing time Petri nets. In: Information Processing: proc. of the IFIP congress, vol.\u00a09, pp. 41\u201346 (1983)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Vicario, E.: Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng. (2001)","DOI":"10.1109\/32.940727"},{"key":"7_CR15","unstructured":"Berthomieu, B., Lime, D., Roux, O.H., Vernadat, F.: Reachability problems and abstract state spaces for time petri nets with stopwatches. LAAS Report (2004)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Sassoli, L., Vicario, E.: Analysis of real time systems through the oris tool. In: Proc. of the 3 rd Int. Conf. on the Quant. Evaluation of Sys. (QEST) (2006)","DOI":"10.1109\/QEST.2006.4"},{"key":"7_CR17","unstructured":"CENELEC-prEN50128: Railway applications: Sw for railway control and protection systems (1997)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T.: Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT)\u00a06 (2004)","DOI":"10.1007\/s10009-004-0153-x"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Sassoli, L., Vicario, E.: Sensitization of symbolic runs in real-time testing using the oris tool. In: Proc. of the 12th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2007)","DOI":"10.1109\/EFTA.2007.4416757"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Sassoli, L., Vicario, E.: Casting preemptive time petri nets in the development life cycle of real-time software. In: Proc. of the 19-th Euromicro Conference on Real-Time Systems (ECRTS) (2007)","DOI":"10.1109\/ECRTS.2007.86"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"IEC 62304 International Standard Edition 1.0 Medical device software - Software life cycle processes (2006)","DOI":"10.1049\/ic:20060141"},{"key":"7_CR22","unstructured":"Developing Standard for IT Systems of the Federal Republic of Germany. Lifecycle Process Model General Directive No. 250. (1997)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68624-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T17:20:14Z","timestamp":1738257614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68624-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540686217","9783540686248"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68624-8_7","relation":{},"subject":[]}}