Anders Ek Jan Ellsberger Anthony Wiles Computer supported test generation from SDL specifications. 351-358 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#EkEW94