Documents Savoirs Agregatinių specifikacijų sudarymas ir analizė panaudojant žinių bazes ; Development and analysis of aggregate specifications using knowledge bases Germanas Budnikas, Ktu