Hypercharts: extended statecharts to support hypermedia specification - Paulo, Fabiano Borges; Masiero, Paulo Cesar; Oliveira, Maria Cristina Ferreira de (IEEE Transactions on Software Engineering, 1999)