Clara Benac Earle Lars-Åke Fredlund John Derrick Verifying fault-tolerant Erlang programs. 26-34 2005 conf/erlang/2005 Erlang Workshop http://doi.acm.org/10.1145/1088361.1088367 db/conf/erlang/erlang2005.html#EarleFD05