@inproceedings{ICEIS-ISAS-2010-RajiD,
	author        = "Amine Raji and Philippe Dhaussy",
	booktitle     = "{Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3: ISAS}",
	isbn          = "978-989-8425-06-5",
	pages         = "380--383",
	publisher     = "{SciTePress}",
	title         = "{User Context Models — A Framework to Ease Software Formal Verifications}",
	year          = 2010,
}