An object-oriented dual language for specifying reactive systems