selected publications academic article An architecture supporting hard real-time computing. Control Engineering Practice. 1995 Satellite Control System Architectures. IFAC Proceedings Volumes. 28:305-310. 1995