Towards model checking electrum specifications with LTSmin - Cancelinha, Bruno Miguel Sousa (2019)