Model Based Assertions : A System Design Tool For Cyber-Physical Systems