Generate FSM, Sequence Diagram, and a set of header files from a short interface description