Teaching real-time systems at DIT/UPM | IEEE Conference Publication | IEEE Xplore