A Mathematical Framework for Exploring Protein Folding Dynamics using Probabilistic Model Checking | IEEE Conference Publication | IEEE Xplore