Text this: Verification of the Stability of a Two-Server Queueing System With Static Priority