Correct-by-Construction Web Service Architecture. - Emmanouela Stachtiari; Nikos Vesyropoulos; George Kourouleas; Christos K. Georgiadis; Panagiotis Katsaros (SOSE, 2014)