daily update
move deadlock checking to new thread;
add dialog to select which specification to be checked;
move fta analysis method to a static class