Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing Topics: Simulation; Systems Biology In Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOSTEC, 151-158, 2016 , Rome, Italy