Formal Methods for Industrial Critical SystemsStefania Gnesi, Tiziana MargariaPocketEngelskLegg i handlekurvNettlager