Top-down design for RW supervisory control theory | lit.salon