Series of Abstractions of Hybrid Automata for Monotonic CTL Model Checking