Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models | IEEE Conference Publication | IEEE Xplore