Varma, Nikhil Kumar (2004) Formal analysis of fault tolerant real time multiprocessor allocation and scheduling protocols. Masters thesis, Concordia University.