System Analysis and Modeling. Languages Methods and Tools for Industry 4.0