Buy This Article
From Springer.
Journal:
Formal Methods for Industrial Critical Systems
Visit Journal Webpage