Zilic, Zeljko: Verification by Error Modeling