Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata