Secure Cyber-Physical Systems: Current trends, tools and open research problems | IEEE Conference Publication | IEEE Xplore