@misc{https://doi.org/10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e,
  doi = {10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e},
  url = {https://data.4tu.nl/articles/dataset/Software_artefact_for_FIG_the_Finite_Improbability_Generator/12666818/1},
  author = {Budde, Carlos},
  keywords = {Automatic importance function, Importance splitting, Input/Output Stochastic Automata, Rare Event Simulation, Statistical model checking},
  title = {Software artefact for FIG: the Finite Improbability Generator},
  publisher = {4TU.Centre for Research Data},
  year = {2020},
  copyright = {GPL-3.0},
}