https://www.alarmcontrols.com/
Click on "Our Products."

If you just want a barrel lock, click on "Switches." Use the KA-107.

If you would rather mount it in the door mullion, click on "Remote Plates" and they have stainless steel narrow plates precut with the "D" hole for the lock. You can also have a status LED that you can wire up so they visually know the mag is energized.

Third option would be "cylinder stations." The advantage to this full size barrel is that you can have a locksmith key it the same as other locks (like a master key system).

Remember, you need to order a "maintained" lock (on/off), not "momentary."

These are available at ADI or TriEd.