@inproceedings{MoDELS-2019-SantosSSN,
	author        = "César Augusto Ribeiro dos Santos and Amr Hany Saleh and Tom Schrijvers and Mike Nicolai",
	booktitle     = "{22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019}",
	doi           = "10.1109/MODELS.2019.00009",
	isbn          = "978-1-7281-2536-7",
	pages         = "250--260",
	publisher     = "{IEEE}",
	title         = "{CONDEnSe: Contract Based Design Synthesis}",
	year          = 2019,
}