{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T08:01:59Z","timestamp":1759564919721,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324680"},{"type":"electronic","value":"9783642324697"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32469-7_1","type":"book-chapter","created":{"date-parts":[[2012,8,21]],"date-time":"2012-08-21T21:07:27Z","timestamp":1345583247000},"page":"1-15","source":"Crossref","is-referenced-by-count":14,"title":["Real-Time Specification Patterns and Tools"],"prefix":"10.1007","author":[{"given":"Nouha","family":"Abid","sequence":"first","affiliation":[]},{"given":"Silvano","family":"Dal Zilio","sequence":"additional","affiliation":[]},{"given":"Didier","family":"Le Botlan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abid, N., Dal Zilio, S., Le Botlan, D.: A Real-Time Specification Patterns Language. Technical Report 11364, LAAS (2011)","key":"1_CR1","DOI":"10.1007\/978-3-642-32469-7_1"},{"doi-asserted-by":"crossref","unstructured":"Abid, N., Dal Zilio, S., Le Botlan, D.: Verification of Real-Time Specification Patterns on Time Transitions Systems. Technical Report 11365, LAAS (2011)","key":"1_CR2","DOI":"10.1007\/978-3-642-32469-7_1"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool tina \u2013 construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research\u00a042, 14 (2004)","journal-title":"International Journal of Production Research"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-01924-1_15","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2009","author":"B. Berthomieu","year":"2009","unstructured":"Berthomieu, B., Bodeveix, J.-P., Chaudet, C., Dal Zilio, S., Filali, M., Vernadat, F.: Formal Verification of AADL Specifications in the Topcased Environment. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol.\u00a05570, pp. 207\u2013221. Springer, Heidelberg (2009)"},{"unstructured":"Berthomieu, B., Bodeveix, J.-P., Chaudet, C., Dal Zilio, S., Dissaux, P., Filali, M., Heim, S., Gaufillet, P., Vernadat, F.: Formal Verification of AADL models with Fiacre and Tina. In: Proc. of ERTSS 2010 5th International Congress and Exhibition on Embedded Real-Time Software and Systems (2010)","key":"1_CR5"},{"doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Bodeveix, J.-P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. In: Proc. of ERTS (2008)","key":"1_CR6","DOI":"10.1007\/978-3-642-01924-1_15"},{"doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification Patterns from Research to Industry: a Case Study in Service-based Applications. In: The 34th International Conference on Software Engineering. IEEE (2012)","key":"1_CR7","DOI":"10.1109\/ICSE.2012.6227125"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/10722468_13","volume-title":"SPIN Model Checking and Software Verification","author":"J.C. Corbett","year":"2000","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 205\u2013223. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Guermouche, N., DalZilio, S.: Formal Requirement Verification for Timed Choreographies. Technical Report HAL 578436 (2011)","key":"1_CR9","DOI":"10.4108\/icst.collaboratecom.2012.250441"},{"unstructured":"Dong, J.S., Hao, P., Qin, S.C., Sun, J., Yi, W.: Timed automata patterns. IEEE Transactions on Software Engineering\u00a052(1) (2008)","key":"1_CR10"},{"doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. of ICSE (1999)","key":"1_CR11","DOI":"10.1145\/302405.302672"},{"unstructured":"Dwyer, M.B., Dillon, L.: Online Repository of Specification Patterns, \n                    http:\/\/patterns.projects.cis.ksu.edu\/","key":"1_CR12"},{"unstructured":"Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Crgut, X., Pantel, M.: The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design. In: Proc. of ERTS (2006)","key":"1_CR13"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2005.10.035","volume":"153","author":"V. Gruhn","year":"2006","unstructured":"Gruhn, V., Laue, R.: Patterns for timed property specifications. Electr. Notes Theor. Comput. Sci.\u00a0153(2), 117\u2013133 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proc. of ICSE. ACM (2005)","key":"1_CR15","DOI":"10.1145\/1062455.1062526"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst.\u00a02, 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"doi-asserted-by":"crossref","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis (1974)","key":"1_CR17","DOI":"10.1145\/800272.810899"},{"doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Worrell, J.: On the decidability and complexity of metric temporal logic over finite words. Logical Methods in Computer Science\u00a03 (2007)","key":"1_CR18","DOI":"10.2168\/LMCS-3(1:8)2007"},{"unstructured":"Gafni, V.: Contract Specification Language (CSL). In: Speeds D2.5.4\u2013Speculative and Exploratory Design in Systems Engineering (2008)","key":"1_CR19"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32469-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T05:35:40Z","timestamp":1676784940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-32469-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324680","9783642324697"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32469-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}