UnitCheck: Unit Testing and Model Checking Combined. - Michal Kebrt; Ondrej Sery (ATVA, 2009)