As maquininhas são vendidas pelas próprias empresas com adaptações para desenvolvimento. Nesse caso você precisa entrar em contato pra adquirir uma e eles te fornecem a documentação. Achar documentação avulsa na internet sobre elas é difícil.