Using CTL formulae as component abstraction in a design and verification flow | IEEE Conference Publication | IEEE Xplore