Verifying trustworthiness requirements in distributed systems with formal log-file analysis | IEEE Conference Publication | IEEE Xplore