How many movies have Jiří Stivín and Peter Petronio collaborated on?

They have not worked on any movies together...