SAT-a schedulability analysis tool for real-time applications. - Vassilis C. Gerogiannis; Manthos A. Tsoukarellas (RTS, 1995)

Systematically testing a real-time operating system. - Manthos A. Tsoukarellas; Vassilis C. Gerogiannis; Kostis D. Economides (IEEE Micro, 1995)

A general framework for applying safety analysis to safety critical real-time applications using fault trees. - Vassilis C. Gerogiannis; Ioannis Caragiannis; Manthos A. Tsoukarellas (RTS, 1997)