Preface Authors Gerald Lüttgen University of Bamberg Stephan Merz INRIA Nancy & LORIA DOI: https://doi.org/10.14279/tuj.eceasst.53.786 Downloads PDF Published 2012-12-06 Issue Vol. 53 (2012): Automated Verification of Critical Systems 2012 Section Preface