Harel statecharts and FoundationDB

I was wondering if there is any prior art regarding using Harel statecharts and FoundationDB?

Harel statecharts are a way of representing complex state machine logic visually and formally with precise semantics.

I am specifically interested if statecharts have been previously used (or considered) for layer development and for working around FDB limitations?

If it was considered and not used, was there any learnings from that effort?