A proof-of-concept application called kdstatemachineditor srcux