Nuno D. Mendes and Pedro T. Monteiro and Jorge Carneiro and Elisabeth Remy and Claudine Chaouiya, Quantification of reachable attractors in asynchronous discrete dynamics[bibTeX]