Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit | IEEE Conference Publication | IEEE Xplore