Design of navigation behaviors and the selection framework with Generalized Stochastic Petri Nets toward dependable navigation of a mobile robot | IEEE Conference Publication | IEEE Xplore