Mobile Nav

2.3.2 Model-based techniques for intelligent integration and testing in industry*