Stationary analysis of FSPNs with mutually dependent discrete and continuous parts | IEEE Conference Publication | IEEE Xplore