Verification by Error Modeling door Katarzyna Radecka & Zeljko Zilic