Computing biological functions using BioPsi, a formal description of biological processes based on elementary bricks of actions. - Sabine Pérès; Liza Figueredo Felicori; Stéphanie Rialle; Elodie Jobard; Franck Molina (Bioinform., 2010)