Cogo, V. Vielmo, A. Nogueira, J. Sousa, M. Pasin, H. P. Reiser, and A. Neves Bessani, "FITCH: Supporting Adaptive Replicated Services in the Cloud", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 15–28, 2013.
Nogueira, A., M. Calha, and , "Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems", Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 IEEE 17th International Conference on, vol. 2: IEEE, pp. 3–8, 2011.