1. Ground systems and operations -telemetry and telecommand packet utilization,2003
2. Space engineering - space segment operability,2008
3. Onboard computers, cnboard software and satellite operations: an introduction;Eickhoff,2012
4. Esteve, M., Katoen, J., Nguyen, V., Postma, B., and Yushtein, Y. (2012). Formal correctness, safety, dependability, and performance analysis of a satellite. In International Conference on Software Engineering (ICSE), 1022–1031.
5. Payload and mission definition in space sciences;Gimenez,2005