Analysing neurobiological models using communicating automata
scientific article; zbMATH DE number 6609480