FMCAD examples: pointer to arXiv report