Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.