Real-time logics: complexity and expressiveness | IEEE Conference Publication | IEEE Xplore