Theorem:
For an example see sysFL in decodegb_lib. More on this method can be found in [FL1998].
sysFL