Buy This Article
From Springer.
Journal:
FM 2015: Formal Methods
Visit Journal Webpage