selected publications academic article A Predictable Framework for Safety-Critical Embedded Systems. IEEE Transactions on Computers. 63:1600-1612. 2014