Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday - Haxthausen, Anne E. (Springer Nature Switzerland,)