Modal action logics for reasoning about reactive systems door J. Broersen