Cityjson into ifc

1

Does anyone have any clue how to turn citymodels convert to ifc?
In NL we have cityjson, other come as 3D. shp. Which tools to use?