A DSL for PIM specifications: design and attribute grammar based implementation - Lukovic, Ivan (2011)