J. Zhang and G. Schirner,
"Automatic Specification Granularity Tuning for Design Space Exploration",
Proceedings of the ACM/IEEE Conference on Design, Automation & Test in Europe (DATE), Dresden, Germany, 03/2014.

J. Zhang and G. Schirner,
Demand-Driven Granularity Tuning In Specification Synthesis
, San Francisco, USA, 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 06/2014.
R. Birken, J. Zhang and G. Schirner,
"System Level Design of a Roaming Multi-Modal Multi-Sensor System",
Sensor Technologies for Civil Infrastructures: Performance Assessment & Health Monitoring, Woodhead Publishing, 2014.