Using CTL formulae as component abstraction in a design and verification flow