Runtime Verification in Erlang by Using Contracts | Publicación