1
Applicable Formal Methods for Safe Industrial Products [E-Book] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /