OSMO model based testing tool