ERATO MMSD
ERATO Metamathematics for Systems Design Project
http://group-mmm.org/eratommsd/
An implementation of dynamic shielding
