{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T07:57:45Z","timestamp":1769759865452,"version":"3.49.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319668444","type":"print"},{"value":"9783319668451","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_9","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"129-144","source":"Crossref","is-referenced-by-count":9,"title":["Generalised Test Tables: A Practical Specification Language for Reactive Systems"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[]},{"given":"Suhyun","family":"Cha","sequence":"additional","affiliation":[]},{"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-46002-0_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Armoni","year":"2002","unstructured":"Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., Landver, A., Mador-Haim, S., Singerman, E., Tiemeyer, A., Vardi, M.Y., Zbar, Y.: The ForSpec temporal logic: a new temporal property-specification language. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 296\u2013311. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46002-0_21"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45416-0_18","volume-title":"Computer Safety, Reliability and Security","author":"F Bitsch","year":"2001","unstructured":"Bitsch, F.: Safety patterns\u2014the key to formal specification of safety requirements. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol. 2187, pp. 176\u2013189. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45416-0_18"},{"issue":"4","key":"9_CR3","doi-asserted-by":"crossref","first-page":"972","DOI":"10.3182\/20090603-3-RU-2001.0425","volume":"42","author":"JC Campos","year":"2009","unstructured":"Campos, J.C., Machado, J.: Pattern-based analysis of automated production systems. IFAC Proc. Vol. 42(4), 972\u2013977 (2009)","journal-title":"IFAC Proc. Vol."},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Cham (2014). doi: 10.1007\/978-3-319-08867-9_22"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cha, S., Ulewicz, S., Vogel-Heuser, B., Weigl, A., Ulbrich, M., Beckert, B.: Generation of monitoring functions in production automation using test specifications. In: 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany. IEEE, 24\u201326 July 2017 (to appear)","DOI":"10.1109\/INDIN.2017.8104795"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No. 99CB37002), pp. 411\u2013420, May 1999","DOI":"10.1145\/302405.302672"},{"issue":"1","key":"9_CR7","first-page":"19","volume":"20","author":"CL Heitmeyer","year":"2005","unstructured":"Heitmeyer, C.L., Archer, M., Bharadwaj, R., Jeffords, R.: Tools for constructing requirements specifications: the SCR toolset at the age of ten. Int. J. Comput. Syst. Sci. Eng. 20(1), 19\u201335 (2005)","journal-title":"Int. J. Comput. Syst. Sci. Eng."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Ljungkrantz, O., \u00c5kesson, K., Fabian, M., Yuan, C.: A formal specification language for PLC-based control logic. In: 2010 8th IEEE International Conference on Industrial Informatics, pp. 1067\u20131072, July 2010","DOI":"10.1109\/INDIN.2010.5549591"},{"issue":"2","key":"9_CR9","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Computer 18(2), 10\u201319 (1985)","journal-title":"Computer"},{"issue":"12","key":"9_CR10","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/32.368133","volume":"20","author":"DL Parnas","year":"1994","unstructured":"Parnas, D.L., Madey, J., Iglewski, M.: Precise documentation of well-structured programs. IEEE Trans. Softw. Eng. 20(12), 948\u2013976 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR11","unstructured":"R\u00f6sch, S.: Model-based testing of fault scenarios in production automation. Ph.D. thesis, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen (2016)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Weigl, A., Wiebe, F., Ulbrich, M., Ulewicz, S., Cha, S., Kirsten, M., Beckert, B., Vogel-Heuser, B.: Generalized test tables: a powerful and intuitive specification language for reactive systems. In: 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany. IEEE, 24\u201326 July 2017 (to appear)","DOI":"10.1109\/INDIN.2017.8104887"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T16:51:54Z","timestamp":1570035114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}