Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.

Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun

Browse the full MODELS paper archive.