Barbosa LS, Henriques PR, Sanchez A.? 2011.??Towards rigorous analysis of Open Source Software. Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software - TTSS. :77-89.