Dual-model approach for safety-critical embedded systems | Publicación