[LAD] Specification issues in open systems