Tekstiviesti: A blended modeling framework for real-time design and verification of safety-critical embedded systems