ByNobleID
    Studies of biological networks with statistical model checking | NobleID