Reuseand integration of specification logics: the hybridisation perspective.- Test Reactive Systems with Büchi-Automaton-Based...