A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata