The Cleveland library uses "Overdrive" and Mobipocket. I think overdrive is what checks to verify the book is still checked out. Works just fine on Palm or WinCE devices (at least, I think it works on WinCE). They also use encrypted .pdf, also with the Overdrive overlay.
http://dlc.clevnet.org/2FB7C35C-5AAC...en/Default.htm