Micro Forth (uForth), a model-based implementation of a Forth-like language interpreter in Java and Erlang