Moving-block System Requirements and Formal Models - Anonymous (2019)