1. A review of research and innovation in garment sizing;Gill;Prototyping and Fitting, Textile Progress,2015
2. Investigating the suitability of using agile for medical embedded software development;Demissie,2016
3. Checking EMTLK properties of timed interpreted systems via bounded model checking;Woźna-Szcześniak,2014
4. Counterexample guided abstraction refinement of product-line behavioural models;Cordy,2014
5. Modal transition system encoding of featured transition systems;Varshosaz;Journal of Logical and Algebraic Methods in Programming,2019