Modeling logical execution time based safety-critical embedded systems in SystemC | IEEE Conference Publication | IEEE Xplore