Title: Implementation of symbolic model checking for probabilistic systems
First published: 2002