J.-L. Silva, C. Fayollas, A. Hamon, P. palanque, C. Martiinie, and E. Barboni, “Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification”, eceasst, vol. 69, Nov. 2014.