An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification. - Coen De Roover; Isabel Michiels; Kim Gybels; Kris Gybels; Theo D'Hondt (ICPC, 2006)