VooDooM : support for understanding and re-engineering of VDM-SL specifications - Alves, Tiago Miguel Laureano (2006)