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