Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language | IEEE Conference Publication | IEEE Xplore