Updated repositories from Assembla to GitHub. Added links to HILT'13
presentation and Bakar formalization.