embedded systems codesign from UML specification and aspect-oriented programming

hello ,
i am looking for a formal language that supports aspect-oriented
programming principles to verify correctness of an embedded systems where
both functionnal and non functional requirements are modeled via UML2.0

thanks

fateh wrote:
> i am looking for a formal language that supports aspect-oriented
> programming principles to verify correctness of an embedded systems where
> both functionnal and non functional requirements are modeled via UML2.0

<http://www.google.com/search?hl=en&lr=&q=meaningless+buzzwords+uml>