The State of Executable Real-Time Specification Languages and the Need for Advancements | IEEE Conference Publication | IEEE Xplore