User-friendly Model Checking Integration in Model-based Development