FME (a commercial conversion app) has both Revit and CityGML on the list of supported formats:
https://www.safe.com/fme/formats-matrix/#! or http://www.cadstudio.cz/fme
And it can perform this type of conversion:
https://knowledge.safe.com/articles/1024/bim-to-gis-advanced-ifc-lod-200-to-lod-3-citygml.html
Vladimir Michl, www.cadstudio.cz www.cadforum.cz