. . . . . "Micros sells products that hotels, restaurants, casinos, retailers, cruise lines and other industries use to serve customers and manage operations.It had $1.27 billion in revenue for its fiscal year ended June 30, 2013, and has 6,400 employees." .