Model-driven architecture for cancer research - Calinescu, R; Harris, S; Gibbons, J; Davies, J; Toujilov, I; Nagl, S (SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007)