Kanstrén, Teemu ; Piel, Eric ; Gonzalez, Alberto ; Gross, Hans-Gerhard (2009) Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach. [Conference Item]