Title: Top-down design for RW supervisory control theory