Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool.

Muhammad Atif Javed, Barbara Gallina

Browse the full SPLC paper archive.