alias nusmv='docker run -it --rm -v /home/$USER/Development:/input:ro badouralix/nusmv'