selected publications chapter Assisting Refinement in System-on-Chip Design. Lecture notes in electrical engineering. 21-42. 2014