CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015