Westergaard, et al.. ASAP: An Extensible Platform for State Space Analysis. Springer Berlin Heidelberg, 2009, doi:10.1007/978-3-642-02424-5_18.