Real-time and performance evaluation extensions of specification language LOTOS | IEEE Conference Publication | IEEE Xplore