Detailing and validation of use case B