Research at DCE Jaan Raik DIAMOND: Targeting Verification and Reliability Issues in Systems Tallinn University of Technology Department of Computer Engineering Department…