Starting from behavioral abstraction level ... This is certainly very useful, for functional modeling, but they are not synthesizable in most of the cases and could require big design modification ...

ABA is clinical and specific. Yes, it can—but it doesn’t have to. If a school is implementing PBIS rigidly (like insisting all students follow the exact same behavior chart, or denying an IEP-based ...