A Case Study on Verifying a Supervisor Component Using McErlang | Publicación