@conference {74,
	title = {Verifying feature-based model templates against well-formedness OCL constraints},
	booktitle = {5th international conference on Generative programming and component engineering  - GPCE {\textquoteright}06},
	year = {2006},
	pages = {211},
	publisher = {ACM Press},
	organization = {ACM Press},
	address = {Portland, Oregon, USA},
	abstract = {Feature-based   model   templates  have  been  recently  proposed  as  a
approach  for  modeling software product lines. Unfortunately, templates
are  notoriously  prone  to  errors that may go unnoticed for long time.
This   is   because   such  an  error  is  usually  exhibited  for  some
configurations  only,  and  testing  all configurations is typically not
feasible   in   practice.   In  this  paper,  we  present  an  automated
verification  procedure  for  ensuring  that  no ill-structured template
instance  will  be  generated  from  a correct configuration. We present
the   formal   underpinnings  of  our  proposed  approach,  analyze  its
complexity,   and   demonstrate  its  practical  feasibility  through  a
prototype implementation.},
	isbn = {1595932372},
	doi = {10.1145/1173706.1173738},
	url = {http://delivery.acm.org/10.1145/1180000/1173738/p211-czarnecki.pdf?key1=1173738\&key2=0640007621\&coll=GUIDE\&dl=GUIDE\&CFID=77424167\&CFTOKEN=49176840},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/gpce06.pdf},
	author = {Krzysztof Czarnecki and Pietroszek, Krzysztof}
}