Lucio Mauro Duarte: Behaviour Model Extraction from Software. WEIT 2013: 1-8