J. Martins, A. Pinto, и N. Stollenwerk. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
W. Janssen, M. Poel, J. Zwiers, и Q. Xu. Formal Techniques in Real-Time and Fault-Tolerant Systems, том 863 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1994)
F. Leyvraz, H. Larralde, и D. Sanders. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)