Automatic generation of functional coverage models from CTL | IEEE Conference Publication | IEEE Xplore