@inproceedings{KEOD-2009-StanevOW,
	author        = "Stilian Stanev and Jivka Ovtcharova and Waldemar Walla",
	booktitle     = "{Proceedings of the First International Conference on Knowledge Engineering and Ontology Development}",
	isbn          = "978-989-674-012-2",
	pages         = "166--170",
	publisher     = "{INSTICC Press}",
	title         = "{Formal Method for Validation of Product Design through Knowledge Modelling}",
	year          = 2009,
}