Bidirectional Translation between OCL and JML for Round-Trip Engineering. - Hiroaki Shimba; Kentaro Hanada; Kozo Okano; Shinji Kusumoto (APSEC (2), 2013)