Olga Fengler Wolfgang Fengler Vesselka Duridanova Modeling of Complex Automation Systems using Colored State Charts. 1901-1906 2002 conf/icra/2002 ICRA db/conf/icra/icra2002.html#FenglerFD02