A Finite State Automata-Based Description of Device States for Function Modeling of Multi-State Technical Devices