Silva, José-Luis, Camille Fayollas, Arnaud Hamon, Philippe palanque, Célia Martiinie, and Eric Barboni. 2014. “Analysis of WIMP and Post WIMP Interactive Systems Based on Formal Specification”. Electronic Communications of the EASST 69 (November). https://doi.org/10.14279/tuj.eceasst.69.967.