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