testability Check the observability and controlability of a device from a model Usage After compilation in folder bin java -cp bin:lib/commons-cli-1.4.jar main.Main -i <dot file> -d <folder containing the DAGs> <dot file> : your input dot file.