Program Model Checking via Action Planning. - Stefan Edelkamp; Mark Kellershoff; Damian Sulewski (MoChArt, 2010)