Describir: Control and Plant Modeling for Manufacturing Systems using Basic Statecharts