Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform | Publicación