ModelcheckingAsensis2012