Generating Scenarios by Multi-Object Checking. - Maik Kollmann; Yuen Man Hon (MBT, 2007)

OOLH: A Formal Framework for Specifying System Requirements. - Yuen Man Hon; Jan-Tecker Gayen; Hans-Dieter Ehrich (SIGSAND-EUROPE, 2008)

An Engineering-Oriented Formal Framework for Railway Interlocking Systems Requirements Specifications (Ein ingenieurgerechtes formales Verfahren für die Spezifikation von Stellwerksanforderungen) - Yuen Man Hon (2009)