1. Pattern-based composition and analysis of virtually synchronized real-time distributed systems;Al-Nayeem,2012
2. A formal architecture pattern for real-time distributed systems;Al-Nayeem,2009
3. PVeStA: a parallel statistical model checking and quantitative analysis tool;AlTurki,2011
4. Introduction to Flight;Anderson,2005
5. An Introduction to Numerical Analysis;Atkinson,2008