ASSERTS: a toolkit for real-time software design, development and evaluation | IEEE Conference Publication | IEEE Xplore