Yassin Mokhtari Stephan Merz Animating TLA Specifications. 92-110 1999 conf/lpar/1999 LPAR db/conf/lpar/lpar99.html#MokhtariM99 http://dx.doi.org/10.1007/3-540-48242-3_7