{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T13:40:02Z","timestamp":1738935602623,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002540"},{"type":"electronic","value":"9783642002557"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_11","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T07:12:32Z","timestamp":1233990752000},"page":"151-166","source":"Crossref","is-referenced-by-count":9,"title":["Mechanised Translation of Control Law Diagrams into Circus"],"prefix":"10.1007","author":[{"given":"Frank","family":"Zeyda","sequence":"first","affiliation":[]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/11576280_32","volume-title":"Formal Methods and Software Engineering","author":"M. Adams","year":"2005","unstructured":"Adams, M., Clayton, P.: ClawZ: Cost-Effective Formal Verification of Control Systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 465\u2013479. Springer, Heidelberg (2005)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Arthan, R., Caseley, P., O\u2019Halloran, C., Smith, A.: ClawZ: Control laws in Z. In: 3 rd International Conference on Formal Engineering Methods, September 2000, pp. 169\u2013176. IEEE Computer Society Digital Library (2000)","DOI":"10.1109\/ICFEM.2000.873817"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/11901433_33","volume-title":"Formal Methods and Software Engineering","author":"B. Meenakshi","year":"2006","unstructured":"Meenakshi, B., Bhatnagar, A., Roy, S.: Tool for Translating Simulink Models into Input Language of a Model Checker. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 606\u2013620. Springer, Heidelberg (2006)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-45212-6_7","volume-title":"Embedded Software","author":"P. Capsi","year":"2003","unstructured":"Capsi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating Discrete-Time Simulink to Lustre. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 84\u201399. Springer, Heidelberg (2003)"},{"key":"11_CR5","unstructured":"Cavalcanti, A.: Stateflow Diagrams in Circus. In: SBMF 2008, pp. 1\u201316 (2008)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/11526841_18","volume-title":"FM 2005: Formal Methods","author":"A. Cavalcanti","year":"2005","unstructured":"Cavalcanti, A., Clayton, P., O\u2019Halloran, C.: Control Law Diagrams in Circus. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 253\u2013268. Springer, Heidelberg (2005)"},{"issue":"2\u20133","key":"11_CR7","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A. Cavalcanti","year":"2003","unstructured":"Cavalcanti, A., Sampaio, A., Woodcock, J.: A Refinement Strategy for Circus. Formal Aspects of Computing\u00a015(2\u20133), 146\u2013181 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/11901433_5","volume-title":"Formal Methods and Software Engineering","author":"C. Chen","year":"2006","unstructured":"Chen, C., Dong, J.S.: Applying Timed Interval Calculus to Simulink Diagrams. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 74\u201393. Springer, Heidelberg (2006)"},{"key":"11_CR9","unstructured":"Freitas, L., Woodcock, J., Cavalcanti, A.: An Architecture for Circus Tools. In: SBMF 2007:\u00a0Brazilian Symposium on Formal Methods (August 2007)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-48983-5_2","volume-title":"Hybrid Systems: Computation and Control","author":"B. Krogh","year":"1999","unstructured":"Krogh, B.: Approximating Hybrid System Dynamics for Analysis and Control. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, p. 2. Springer, Heidelberg (1999)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-48745-X_7","volume-title":"Application and Theory of Petri Nets 1999","author":"B. Krogh","year":"1999","unstructured":"Krogh, B.: Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, p. 106. Springer, Heidelberg (1999)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11415787_5","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"P. Malik","year":"2005","unstructured":"Malik, P., Utting, M.: CZT: A Framework for Z Tools. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 65\u201384. Springer, Heidelberg (2005)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11589976_14","volume-title":"Integrated Formal Methods","author":"T. Miller","year":"2005","unstructured":"Miller, T., Freitas, L., Malik, P., Utting, M.: CZT Support for Z Extensions. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 227\u2013245. Springer, Heidelberg (2005)"},{"key":"11_CR14","series-title":"Concurrent Systems Engineering Series","first-page":"281","volume-title":"Communicating Process Architectures","author":"M. Oliveira","year":"2004","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: Refining Industrial Scale Systems in Circus. In: Communicating Process Architectures. Concurrent Systems Engineering Series, vol.\u00a062, pp. 281\u2013309. IOS Press, Amsterdam (2004)"},{"issue":"2","key":"11_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s11334-005-0014-0","volume":"1","author":"M. Oliveira","year":"2005","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: Formal Development of Industrial-Scale Systems in Circus. Innovations in Systems and Software Engineering\u00a01(2), 125\u2013146 (2005)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for Circus. Formal Aspects of Computing, Online First (2007)","DOI":"10.1007\/s00165-007-0052-5"},{"key":"11_CR17","unstructured":"Parr, T.: StringTemplate Engine, http:\/\/www.stringtemplate.org"},{"key":"11_CR18","unstructured":"Ranville, S., Black, P.E.: Automated Testing Requirements \u2014 Automotive Perspective. In: The Second International Workshop on Automated Program Analysis, Testing and Verification (May 2001)"},{"key":"11_CR19","unstructured":"The MathWorks, Inc. Simulink\u00a0\u00ae (1994\u20132008)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J. Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T13:02:31Z","timestamp":1738933351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}