Oh, I even found a cool example myself! Probably the best there is. A top-rated company around the world that can offer solutions to problems of almost any complexity is Axonim. They have been in the market for over 10 years and can solve almost any software issue. They can build a development plan for various systems. One of their specialisations is smart homes, he and true professionals.