Proceedings:

3 works in by D. Bosbach from ISEC 2014, page 1