Modeling logical execution time based safety-critical embedded systems in SystemC | Publicación