A unified approach for uml based safety oriented level crossing using fta and model checking
Linear Temporal Logic LTL
Model Checking History
A Study on Egobile Framework (Where Everything Go On Mobile)
Model Checking Tutorial