Formally verified application-level framework for real-time scheduling on POSIX real-time operating systems (2004)

by L Peng, B Ravindran, S Suhaib, S Feizabadi
Venue:IEEE Transactions on Software Engineering