Automated Inference of Models for Black Box Systems based on Interface Descriptions