Detecting Design Flaws in UML State Charts for Embedded Software | Publicación