STOPA: a stochastic process algebra for the formal representation of cognitive systems | IEEE Conference Publication | IEEE Xplore