Text this: An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms