STOPA: a stochastic process algebra for the formal representation of cognitive systems | Publicación