@inproceedings{ICEIS-ISAS1-2008-IdaniC,
	author        = "Akram Idani and Bernard Coulette",
	booktitle     = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 3.1: ISAS}",
	isbn          = "978-989-8111-38-8",
	pages         = "94--103",
	title         = "{Towards Reverse-Engineering of UML Views from Structured Formal Developments}",
	year          = 2008,
}