Modular Design by Contract Visually and Formally Using VCL | IEEE Conference Publication | IEEE Xplore