A language-driven tool for fault injection in distributed systems | IEEE Conference Publication | IEEE Xplore