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