Real-time system validation by model checking in TRIO | IEEE Conference Publication | IEEE Xplore