Evaluation of Practical Modeling Tools and Methods for Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore