Jan Jürjens Yijun Yu Andreas Bauer 0002 Tools for Traceable Security Verification. 367-390 2008 BCS Int. Acad. Conf. http://www.bcs.org/server.php?show=ConWebDoc.22980 conf/bcs/2008 db/conf/bcs/bcs2008.html#JurjensYB08