Model-based testing of NASA's OSAL API - An experience report. - Christoph Schulze 001; Dharmalingam Ganesan; Mikael Lindvall; Dave Mcf Omas; Alan Cudmore (ISSRE, 2013)