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