Coen De Roover Isabel Michiels Kim Gybels Kris Gybels Theo D'Hondt An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification. 202-211 2006 conf/iwpc/2006 ICPC http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.10 db/conf/iwpc/icpc2006.html#RooverMGGD06