Buy This Article
From Springer.
Journal:
Interactive Systems. Design, Specification, and Verification
Visit Journal Webpage