Andreas Ulrich Hesham Hallal Alexandre Petrenko Sergiy Boroday Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. 337 2003 HICSS http://computer.org/proceedings/hicss/1874/track9/187490337babs.htm db/conf/hicss/hicss2003-9.html#UlrichHPB03