LAMP stands for Logical AADL Model Processing.