An Open Cover Specification Property - Kumar, Devender (Journal of Dynamical and Control Systems)