{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,2]],"date-time":"2022-12-02T12:23:22Z","timestamp":1669983802991},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T00:00:00Z","timestamp":1491523200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10009-017-0455-4","type":"journal-article","created":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T04:14:48Z","timestamp":1491538488000},"page":"391-393","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Preface of the special issue on formal methods in industrial critical systems"],"prefix":"10.1007","volume":"19","author":[{"given":"Matthias","family":"G\u00fcdemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,7]]},"reference":[{"key":"455_CR1","doi-asserted-by":"publisher","unstructured":"Aman, B., Ciobanu, G.: Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transfer (2016). doi:\n                        10.1007\/s10009-016-0439-9","DOI":"10.1007\/s10009-016-0439-9"},{"key":"455_CR2","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., H\u00f6rmaier, K., Lorber, F., Ni\u010dkovic, D., Tiran, S.: Require, test and trace IT. Int. J. Softw. Tools Technol. Transfer (2016). doi:\n                        10.1007\/s10009-016-0444-z","DOI":"10.1007\/s10009-016-0444-z"},{"key":"455_CR3","doi-asserted-by":"publisher","unstructured":"Damouche, N., Martel, M., Chapoutot, A.: Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transfer (2016). doi\n                        10.1007\/s10009-016-0435-0","DOI":"10.1007\/s10009-016-0435-0"},{"key":"455_CR4","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: towards flexible verification under fairness. In: Computer Aided Verification: \n                        $$21^{st}$$\n                        \n                            \n                                            \n                                \n                                    \n                                        21\n                                        \n                                            st\n                                        \n                                    \n                                \n                            \n                        \n                     International Conference (CAV 2009). LNCS. Springer (2009)","DOI":"10.1007\/978-3-642-02658-4_59"},{"key":"455_CR5","unstructured":"Junker, U.: QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In: Proceedings of the 19th National Conference on Artificial Intelligence, pp 167\u2013172. AAAI Press, California (2004)"},{"key":"455_CR6","doi-asserted-by":"crossref","unstructured":"Ioualalen, A., Martel, M.: A new abstract domain for the representation of mathematically equivalent expressions. In: Proceedings of the \n                        $$19^{th}$$\n                        \n                            \n                                            \n                                \n                                    \n                                        19\n                                        \n                                            th\n                                        \n                                    \n                                \n                            \n                        \n                     International Conference on Static Analysis (SAS 2012). LNCS. Springer (2012)","DOI":"10.1007\/978-3-642-33125-1_8"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-017-0455-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0455-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0455-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,3]],"date-time":"2017-07-03T09:06:53Z","timestamp":1499072813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-017-0455-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,7]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["455"],"URL":"https:\/\/doi.org\/10.1007\/s10009-017-0455-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,7]]}}}