Automatic Verification of Erlang−Style Concurrency - D'Osualdo, E; Kochems, J; Ong, C (SAS, 2013)