@inproceedings{SP21a,
  author        = {C. Su and J. Pang},
  title         = {{CABEAN 2.0}: {E}fficient and efficacious control of asynchronous {B}oolean networks},
  booktitle     = {Proceedings of the 24th International Symposium on Formal Methods (FM'21)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2021},
  volume        = {13047},
  pages         = {581-598}
}