Update HACMS-pubs.json