Abdelwaheb Ayari David A. Basin Andreas Podelski LISA: A Specification Language Based on WS2S. 18-34 1997 conf/csl/1997 CSL db/conf/csl/csl97.html#AyariBP97 http://dx.doi.org/10.1007/BFb0028005