IDERS: an integrated environment for the development of hard real-time systems | IEEE Conference Publication | IEEE Xplore