Practical statecharts in C/C++ : quantum programmming [i.e. programming] for embedded systems - Samek, Miro (CMP Books, 2002)