Editing Requirements format with P4C

This thread should give you some hints on how to do it: