A methodology for example-based specification and design | IEEE Conference Publication | IEEE Xplore