Automata-Based Modular Lighting System -- Modeling and Programming Asynchronous Automata