Probabilistic verification of ER stress-induced signaling pathways | IEEE Conference Publication | IEEE Xplore