Kevin Lano Specifying Reactive Systems in B AMN. 242-274 1997 conf/zum/1997 ZUM db/conf/zum/zum1997.html#Lano97